Logo des Repositoriums
 

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

Kurzanzeige
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.doi10.1007/BF03323493
dc.identifier.pissn0720-8928
dc.identifier.urihttps://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
gi.citation.endPage87
gi.citation.startPage86

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
40568_2013_Article_BF03323493.pdf
Größe:
222.91 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

Softwaretechnik-Trends 32(2) - 2012