KIT | KIT-Bibliothek | Impressum | Datenschutz

Techniken zur Modellierung und Verifikation von Echtzeitsystemen

Ruf, Jürgen



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Hochschulschrift
Publikationsjahr 2000
Sprache Deutsch
Identifikator KITopen-ID: 912000
Verlag Universität Karlsruhe
Erscheinungsvermerk Berlin 2000. Fak. f. Informatik, Diss. v. 29.6.1999.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Prüfungsdaten Diss. v. 29.6.1999
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page