Specification, modelling, verification and runtime analysis of real time systems
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
| Publikationstyp | Hochschulschrift |
| Publikationsjahr | 2004 |
| Sprache | Englisch |
| Identifikator | ISBN: 3-89838-280-X ISSN: 0941-5769 KITopen-ID: 1000000059 |
| Verlag | AKA |
| Serie | Dissertationen zur Künstlichen Intelligenz ; 280 |
| Art der Arbeit | Dissertation |
| Fakultät | Fakultät für Informatik (INFORMATIK) |
| Institut | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
| Prüfungsdaten | 17.07.2003 |
| Referent/Betreuer | Schmid, Detlef |