KIT | KIT-Bibliothek | Impressum | Datenschutz

Runtime analysis of synchronous programs for low-level real-time verification

Logothetis, G. 1; Schneider, K.; Metzler, C. 1
1 Universität Karlsruhe (TH)


Originalveröffentlichung
DOI: 10.1109/SBCCI.2003.1232831
Scopus
Zitationen: 1
Dimensions
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2003
Sprache Englisch
Identifikator ISBN: 0-7695-2009-X
KITopen-ID: 1000095398
Erschienen in 16th Symposium on Integrated Circuits and Systems Design (SBCCI'03), Sao Paulo, BR, September 8-11, 2003
Verlag IEEE Computer Society
Seiten 211–216
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page