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
Dimensions
Zitationen: 3
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 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 Computer Society
Seiten 256–264
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page