Korrekte Steuerungssoftware

Loading...
Thumbnail Image

Date

2010-05-31T09:29:46Z

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

Citation