KIT | KIT-Bibliothek | Impressum

Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen

Kapp, Kai



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Hochschulschrift
Jahr 2005
Sprache Deutsch
Identifikator KITopen ID: 1000003451
Verlag Karlsruhe
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Technische Informatik (ITEC)
Prüfungsdaten 08.07.2005
Referent/Betreuer Prof. D. Schmid
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page