Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese
Lade...
Dateien
Datum
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Sonstige Titel
Zusammenfassung
Beschreibung
Inhaltsverzeichnis
Schlagwörter
Model-Checking, Fehlerdiagnose, Strategie-Synthese, Fixpunkt, mu-Kalkül