Authors: Graw, Günter
Title: Korrekte Steuerungssoftware
Language (ISO): de
Subject Headings: Chemietechnische Anlage
Steuerungssoftware
cTLA
TLA
UML
Verfeinerungsmuster
Analysemuster
Entwurfsmuster
Verfeinerung
Model-Checker
OPC UA
IEC 61131-3
Subject Headings (RSWK): Steuerungssystem
UML
Unified modeling language
Entwurfsmuster
TLA <Logik>
Softwareentwurf
Industrielle Anlage
Model Checking
URI: http://hdl.handle.net/2003/27247
http://dx.doi.org/10.17877/DE290R-13011
Issue Date: 2010-05-31T09:29:46Z
Appears in Collections:LS 04 Praktische Informatik

Files in This Item:
File Description SizeFormat 
dissGrawEldorado.pdfDNB1.84 MBAdobe PDFView/Open


This item is protected by original copyright



This item is protected by original copyright rightsstatements.org