Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Steffen, Bernhard	-
dc.contributor.author	Yoo, Haiseung	-
dc.date.accessioned	2007-08-30T10:06:47Z	-
dc.date.available	2007-08-30T10:06:47Z	-
dc.date.issued	2007-08-30T10:06:47Z	-
dc.identifier.uri	http://hdl.handle.net/2003/24689	-
dc.identifier.uri	http://dx.doi.org/10.17877/DE290R-12684	-
dc.language.iso	de	de
dc.subject	Model-Checking	de
dc.subject	Fehlerdiagnose	de
dc.subject	Strategie-Synthese	de
dc.subject	Fixpunkt	de
dc.subject	mu-Kalkül	de
dc.subject.ddc	004	-
dc.title	Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese	de
dc.type	Text	de
dc.contributor.referee	Rehof, Jakob	-
dc.date.accepted	2007-08-28	-
dc.type.publicationtype	doctoralThesis	de
dc.identifier.urn	urn:nbn:de:hbz:290-2003/24689-9	-
dcterms.accessRights	open access	-
Appears in Collections:	LS 05 Programmiersysteme

Files in This Item:

File	Description	Size	Format
Diss.Yoo.Final.pdf	DNB	1.25 MB	Adobe PDF	View/Open

This item is protected by original copyright

View License

Show simple item record

This item is protected by original copyright rightsstatements.org