KIT | KIT-Bibliothek | Impressum | Datenschutz

A generalized approach to supervisor synthesis

Ziller, R. 1; Schneider, K.
1 Universität Karlsruhe (TH)


Originalveröffentlichung
DOI: 10.1109/MEMCOD.2003.1210106
Scopus
Zitationen: 2
Dimensions
Zitationen: 2
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 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 Institute of Electrical and Electronics Engineers (IEEE)
Seiten 217–226
Nachgewiesen in Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page