Exact high level WCET analysis of synchronous programs by symbolic state space exploration
| Zugehörige Institution(en) am KIT | Institut für Technische Informatik (ITEC) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 |
| Seiten | 196–203 |
| Nachgewiesen in | Scopus Dimensions |