Korrekte Steuerungssoftware
Loading...
Date
2010-05-31T09:29:46Z
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Table of contents
Keywords
Chemietechnische Anlage, Steuerungssoftware, cTLA, TLA, UML, Verfeinerungsmuster, Analysemuster, Entwurfsmuster, Verfeinerung, Model-Checker, OPC UA, IEC 61131-3