Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Krumm, Heiko | - |
dc.contributor.author | Graw, Günter | - |
dc.date.accessioned | 2010-05-31T09:29:46Z | - |
dc.date.available | 2010-05-31T09:29:46Z | - |
dc.date.issued | 2010-05-31T09:29:46Z | - |
dc.identifier.uri | http://hdl.handle.net/2003/27247 | - |
dc.identifier.uri | http://dx.doi.org/10.17877/DE290R-13011 | - |
dc.language.iso | de | de |
dc.subject | Chemietechnische Anlage | de |
dc.subject | Steuerungssoftware | de |
dc.subject | cTLA | de |
dc.subject | TLA | de |
dc.subject | UML | de |
dc.subject | Verfeinerungsmuster | de |
dc.subject | Analysemuster | de |
dc.subject | Entwurfsmuster | de |
dc.subject | Verfeinerung | de |
dc.subject | Model-Checker | de |
dc.subject | OPC UA | de |
dc.subject | IEC 61131-3 | de |
dc.subject.ddc | 004 | - |
dc.title | Korrekte Steuerungssoftware | de |
dc.type | Text | de |
dc.contributor.referee | Herrmann, Peter | - |
dc.date.accepted | 2010-04-29 | - |
dc.type.publicationtype | doctoralThesis | de |
dc.subject.rswk | Steuerungssystem | de |
dc.subject.rswk | UML | de |
dc.subject.rswk | Unified modeling language | de |
dc.subject.rswk | Entwurfsmuster | de |
dc.subject.rswk | TLA <Logik> | de |
dc.subject.rswk | Softwareentwurf | de |
dc.subject.rswk | Industrielle Anlage | de |
dc.subject.rswk | Model Checking | de |
dc.identifier.urn | urn:nbn:de:hbz:290-2003/27247-7 | - |
dcterms.accessRights | open access | - |
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