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 Quantitative Methoden, Rechnernetze und verteilte Systeme, Rechnersysteme und Leistungsbewertung

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


This item is protected by original copyright



All resources in the repository are protected by copyright.