KIT | KIT-Bibliothek | Impressum | Datenschutz

Finding bad states during symbolic supervisor synthesis

Ziller, Roberto



Seitenaufrufe: 3
seit 01.08.2018
Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 2002
Sprache Deutsch
Identifikator KITopen-ID: 32282002
Erscheinungsvermerk In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Hrsg.: J. Ruf. Aachen 2002. S. 209-218.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page