Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese

dc.contributor.advisor	Steffen, Bernhard
dc.contributor.author	Yoo, Haiseung
dc.contributor.referee	Rehof, Jakob
dc.date.accepted	2007-08-28
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.identifier.urn	urn:nbn:de:hbz:290-2003/24689-9
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.type.publicationtype	doctoralThesis	de
dcterms.accessRights	open access

Files

Now showing 1 - 1 of 1

Now showing 1 - 1 of 1