KIT | KIT-Bibliothek | Impressum | Datenschutz

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

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



Originalveröffentlichung
DOI: 10.1109/SBCCI.2003.1232831
Scopus
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Jahr 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 Comput. Soc., Los Alamitos, CA
Seiten 211–216
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page