KIT | KIT-Bibliothek | Impressum | Datenschutz

Temporale Realzeitverifikation

Loetzbeyer, Annette



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Publikationsjahr 1999
Sprache Deutsch
Identifikator KITopen-ID: 54999
Erscheinungsvermerk Berlin 1999. Fak. f. Informatik, Diss. v. 11.2.1999.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdaten Diss. v. 11.2.1999
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page