KIT | KIT-Bibliothek | Impressum | Datenschutz

Generating formal models for real-time verification by exact low-level runtime analysis of synchronous programs

Logothetis, G.; Schneider, K.; Metzler, C.



Originalveröffentlichung
DOI: 10.1109/REAL.2003.1253272
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Jahr 2003
Sprache Englisch
Identifikator ISBN: 0-7695-2044-8
KITopen-ID: 1000095396
Erschienen in RTSS 2003. 24th IEEE Real-Time Systems Symposium, Cancun, MEX, 2003
Verlag IEEE Comput. Soc., Los Alamitos, CA
Seiten 256–264
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page