KIT | KIT-Bibliothek | Impressum | Datenschutz

Hierarchische kompositionale Synthese von Steuerungen für reaktive Systeme

Melcher, Helmut


Zugehörige Institution(en) am KIT FZI Forschungszentrum Informatik (FZI)
Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Publikationsjahr 2002
Sprache Deutsch
Identifikator KITopen-ID: 82002
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Aachen 2002. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 14.2.2001.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut FZI Forschungszentrum Informatik (FZI)
Prüfungsdaten Diss. v. 14.2.2001
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page