KIT | KIT-Bibliothek | Impressum | Datenschutz

Verfahren zur Systemspezifikation, Entwurf und Validierung von eingebetteten Echtzeitsystemen im Kfz-Bereich

Gmehlich, Rainer



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