KIT | KIT-Bibliothek | Impressum

Hierarchische kompositionale Synthese von Steuerungen für reaktive Systeme

Melcher, Helmut



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