Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese

dc.contributor.advisorSteffen, Bernhard
dc.contributor.authorYoo, Haiseung
dc.contributor.refereeRehof, Jakob
dc.date.accepted2007-08-28
dc.date.accessioned2007-08-30T10:06:47Z
dc.date.available2007-08-30T10:06:47Z
dc.date.issued2007-08-30T10:06:47Z
dc.identifier.urihttp://hdl.handle.net/2003/24689
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-12684
dc.identifier.urnurn:nbn:de:hbz:290-2003/24689-9
dc.language.isodede
dc.subjectModel-Checkingde
dc.subjectFehlerdiagnosede
dc.subjectStrategie-Synthesede
dc.subjectFixpunktde
dc.subjectmu-Kalkülde
dc.subject.ddc004
dc.titleFehlerdiagnose beim Model-Checking durch animierte Strategie-Synthesede
dc.typeTextde
dc.type.publicationtypedoctoralThesisde
dcterms.accessRightsopen access

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Diss.Yoo.Final.pdf
Size:
1.22 MB
Format:
Adobe Portable Document Format
Description:
DNB
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.93 KB
Format:
Item-specific license agreed upon to submission
Description: