Zeitschriftenartikel

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

Dokumententyp

Text/Journal Article

Dateien

40568_2013_Article_BF03323493.pdf (222.91 KB)

Datum

2012

Autor:innen

Sonntag, Christian

Fischer, Stephan

Engell, Sebastian

Quelle

Softwaretechnik-Trends: Vol. 32, No. 2

Verlag

Köllen Druck & Verlag GmbH

Sonntag, Christian; Fischer, Stephan; Engell, Sebastian (2012): Systematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufsprache. Softwaretechnik-Trends: Vol. 32, No. 2. DOI: 10.1007/BF03323493. Köllen Druck & Verlag GmbH. PISSN: 0720-8928. pp. 86-87

Schlagwörter

18th IFAC , Time Automaton , Control Engineer Practice , 18th IFAC World , Unify Semantic

DOI

10.1007/BF03323493

Sammlungen

Softwaretechnik-Trends 32(2) - 2012

Komplettanzeige