1. Eldorado
  2. Fakultäten
  3. 04 Fakultät für Informatik
  4. LS 05 Programmiersysteme
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ößeFormat 
Diss.Yoo.Final.pdfDNB1.25 MBAdobe PDFÖffnen/Anzeigen


Diese Ressource ist urheberrechtlich geschützt.

Lizenzbestimmungen ansehen
Zur Langanzeige


Diese Ressource ist urheberrechtlich geschützt. rightsstatements.org