KIT | KIT-Bibliothek | Impressum | Datenschutz

Formale Methoden zur Konstruktion eingebetteter Software

Lindner, Thomas



Zugehörige Institution(en) am KIT Fakultät für Informatik (INFORMATIK)
Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Hochschulschrift
Publikationsjahr 1999
Sprache Deutsch
Identifikator KITopen-ID: 51399
Verlag Universität Karlsruhe
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