1. Eldorado
  2. Fakultäten
  3. 04 Fakultät für Informatik
  4. LS 04 Praktische Informatik
Autor(en): Graw, Günter
Titel: Korrekte Steuerungssoftware
Sprache (ISO): de
Schlagwörter: Chemietechnische Anlage
Steuerungssoftware
cTLA
TLA
UML
Verfeinerungsmuster
Analysemuster
Entwurfsmuster
Verfeinerung
Model-Checker
OPC UA
IEC 61131-3
Schlagwörter (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
Erscheinungsdatum: 2010-05-31T09:29:46Z
Enthalten in den Sammlungen:LS 04 Praktische Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
dissGrawEldorado.pdfDNB1.84 MBAdobe PDFÖffnen/Anzeigen


Diese Ressource ist urheberrechtlich geschützt.

Lizenzbestimmungen ansehen
Zur Langanzeige


Diese Ressource ist urheberrechtlich geschützt. rightsstatements.org