Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems
| Zugehörige Institution(en) am KIT | Institut für Technische Informatik (ITEC) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2003 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000095399 |
| Erschienen in | Forum on Specification and Design Languages (FDL 2003), Frankfurt a.M., 23.-26. September 2003 |
| Seiten | 385–405 |