Generating formal models for real-time verification by exact low-level runtime analysis of synchronous programs
| Zugehörige Institution(en) am KIT | Institut für Technische Informatik (ITEC) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2003 |
| Sprache | Englisch |
| Identifikator | ISBN: 0-7695-2044-8 KITopen-ID: 1000095396 |
| Erschienen in | RTSS 2003. 24th IEEE Real-Time Systems Symposium, Cancun, MEX, 2003 |
| Verlag | IEEE Computer Society |
| Seiten | 256–264 |
| Nachgewiesen in | OpenAlex Dimensions |