KIT | KIT-Bibliothek | Impressum | Datenschutz

Exact high level WCET analysis of synchronous programs by symbolic state space exploration

Logothetis, G.; Schneider, K.



Originalveröffentlichung
DOI: 10.1109/DATE.2003.1186386
Scopus
Zitationen: 16
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Jahr 2003
Sprache Englisch
Identifikator ISBN: 978-0-7695-1870-1
ISSN: 1530-1591
KITopen-ID: 1000095405
Erschienen in Design, Automation and Test in Europe Conference and Exhibition, München, 3.-7. März 2003
Verlag IEEE Computer Society, Los Alamitos, CA
Seiten 196–203
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page