A generalized approach to supervisor synthesis
| 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 OpenAlex Dimensions |