KIT | KIT-Bibliothek | Impressum | Datenschutz

Combining supervisor synthesis and model checking

Ziller, Roberto 1; Schneider, Klaus
1 Universität Karlsruhe (TH)


Download
Originalveröffentlichung
DOI: 10.1145/1067915.1067920
Scopus
Zitationen: 30
Dimensions
Zitationen: 26
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Zeitschriftenaufsatz
Publikationsmonat/-jahr 05.2005
Sprache Englisch
Identifikator ISSN: 1539-9087
KITopen-ID: 1000095440
Erschienen in ACM transactions on embedded computing systems
Verlag Association for Computing Machinery (ACM)
Band 4
Heft 2
Seiten 331–362
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page