KIT | KIT-Bibliothek | Impressum | Datenschutz

A generalized approach to supervisor synthesis

Ziller, R.; Schneider, K.



Originalveröffentlichung
DOI: 10.1109/MEMCOD.2003.1210106
Scopus
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Jahr 2003
Sprache Englisch
Identifikator ISBN: 0-7695-1923-7
KITopen-ID: 1000095402
Erschienen in 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE '03), Mont Saint Michel, F, June 24-26, 2003
Verlag IEEE, Piscataway, NJ
Seiten 217–226
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page