Korrekte Steuerungssoftware

dc.contributor.advisor	Krumm, Heiko
dc.contributor.author	Graw, Günter
dc.contributor.referee	Herrmann, Peter
dc.date.accepted	2010-04-29
dc.date.accessioned	2010-05-31T09:29:46Z
dc.date.available	2010-05-31T09:29:46Z
dc.date.issued	2010-05-31T09:29:46Z
dc.identifier.uri	http://hdl.handle.net/2003/27247
dc.identifier.uri	http://dx.doi.org/10.17877/DE290R-13011
dc.identifier.urn	urn:nbn:de:hbz:290-2003/27247-7
dc.language.iso	de	de
dc.subject	Chemietechnische Anlage	de
dc.subject	Steuerungssoftware	de
dc.subject	cTLA	de
dc.subject	TLA	de
dc.subject	UML	de
dc.subject	Verfeinerungsmuster	de
dc.subject	Analysemuster	de
dc.subject	Entwurfsmuster	de
dc.subject	Verfeinerung	de
dc.subject	Model-Checker	de
dc.subject	OPC UA	de
dc.subject	IEC 61131-3	de
dc.subject.ddc	004
dc.subject.rswk	Steuerungssystem	de
dc.subject.rswk	UML	de
dc.subject.rswk	Unified modeling language	de
dc.subject.rswk	Entwurfsmuster	de
dc.subject.rswk	TLA <Logik>	de
dc.subject.rswk	Softwareentwurf	de
dc.subject.rswk	Industrielle Anlage	de
dc.subject.rswk	Model Checking	de
dc.title	Korrekte Steuerungssoftware	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