Korrekte Steuerungssoftware

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Krumm, Heiko	-
dc.contributor.author	Graw, Günter	-
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.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.title	Korrekte Steuerungssoftware	de
dc.type	Text	de
dc.contributor.referee	Herrmann, Peter	-
dc.date.accepted	2010-04-29	-
dc.type.publicationtype	doctoralThesis	de
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.identifier.urn	urn:nbn:de:hbz:290-2003/27247-7	-
dcterms.accessRights	open access	-
Appears in Collections:	LS 04 Praktische Informatik

Files in This Item:

File	Description	Size	Format
dissGrawEldorado.pdf	DNB	1.84 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