Authors: | Graw, Günter |
Title: | Korrekte Steuerungssoftware |
Language (ISO): | de |
Subject Headings: | Chemietechnische Anlage Steuerungssoftware cTLA TLA UML Verfeinerungsmuster Analysemuster Entwurfsmuster Verfeinerung Model-Checker OPC UA IEC 61131-3 |
Subject Headings (RSWK): | Steuerungssystem UML Unified modeling language Entwurfsmuster TLA <Logik> Softwareentwurf Industrielle Anlage Model Checking |
URI: | http://hdl.handle.net/2003/27247 http://dx.doi.org/10.17877/DE290R-13011 |
Issue Date: | 2010-05-31T09:29:46Z |
Appears in Collections: | LS 04 Praktische Informatik |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
dissGrawEldorado.pdf | DNB | 1.84 MB | Adobe PDF | View/Open |
This item is protected by original copyright |
This item is protected by original copyright rightsstatements.org