Korrekte Steuerungssoftware
Lade...
Dateien
Datum
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Sonstige Titel
Zusammenfassung
Beschreibung
Inhaltsverzeichnis
Schlagwörter
Chemietechnische Anlage, Steuerungssoftware, cTLA, TLA, UML, Verfeinerungsmuster, Analysemuster, Entwurfsmuster, Verfeinerung, Model-Checker, OPC UA, IEC 61131-3
Schlagwörter nach RSWK
Steuerungssystem, UML, Unified modeling language, Entwurfsmuster, TLA <Logik>, Softwareentwurf, Industrielle Anlage, Model Checking