KIT | KIT-Bibliothek | Impressum | Datenschutz

Formale Methoden zur Konstruktion eingebetteter Software

Lindner, Thomas


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