Korrekte Steuerungssoftware
Loading...
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Alternative Title(s)
Abstract
Description
Table of contents
Keywords
Chemietechnische Anlage, Steuerungssoftware, cTLA, TLA, UML, Verfeinerungsmuster, Analysemuster, Entwurfsmuster, Verfeinerung, Model-Checker, OPC UA, IEC 61131-3
Subjects based on RSWK
Steuerungssystem, UML, Unified modeling language, Entwurfsmuster, TLA <Logik>, Softwareentwurf, Industrielle Anlage, Model Checking