Zur Kurzanzeige

Systematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufsprache

dc.contributor.authorSonntag, Christian
dc.contributor.authorFischer, Stephan
dc.contributor.authorEngell, Sebastian
dc.date.accessioned2017-12-06T09:22:19Z
dc.date.available2017-12-06T09:22:19Z
dc.date.issued2012
dc.identifier.issn0720-8928
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/8676
dc.language.isoen
dc.publisherKöllen Druck & Verlag GmbH
dc.relation.ispartofSoftwaretechnik-Trends: Vol. 32, No. 2
dc.relation.ispartofseriesSoftwaretechnik-Trends
dc.subject18th IFAC
dc.subjectTime Automaton
dc.subjectControl Engineer Practice
dc.subject18th IFAC World
dc.subjectUnify Semantic
dc.titleSystematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufspracheen
dc.typeText/Journal Article
mci.reference.pages86-87
dc.identifier.doi10.1007/BF03323493


Dateien zu dieser Ressource

Thumbnail
Name:
40568_2013_Article_BF03323493.pdf
Größe:
222.9Kb
Format:
PDF
Öffnen

Zur Kurzanzeige