Autor(en): | Yoo, Haiseung |
Titel: | Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese |
Sprache (ISO): | de |
Schlagwörter: | Model-Checking Fehlerdiagnose Strategie-Synthese Fixpunkt mu-Kalkül |
URI: | http://hdl.handle.net/2003/24689 http://dx.doi.org/10.17877/DE290R-12684 |
Erscheinungsdatum: | 2007-08-30T10:06:47Z |
Enthalten in den Sammlungen: | LS 05 Programmiersysteme |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
Diss.Yoo.Final.pdf | DNB | 1.25 MB | Adobe PDF | Öffnen/Anzeigen |
Diese Ressource ist urheberrechtlich geschützt. |
Diese Ressource ist urheberrechtlich geschützt. rightsstatements.org