Wartungsarbeiten: Am 29.06..2026 zwischen16:00 und 17:30:30 Uhr kommt es zu Unterbrechungen. Bitte stellen Sie sich entsprechend darauf ein. Maintenance: at 2026-06-29 the system will experience outages from 4.00 p.m. until 5.30 p.m. Please plan accordingly.

Korrekte Steuerungssoftware

Vorschaubild

Dateien

dissGrawEldorado.pdf (1.8 MB)

Datum

2010-05-31T09:29:46Z

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

Zitierform

URI

http://hdl.handle.net/2003/27247
 http://dx.doi.org/10.17877/DE290R-13011

Sammlungen

LS 04 Praktische Informatik

Befürwortung

Review

Ergänzt durch

Referenziert von