Auflistung nach Schlagwort "Time Automaton"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelSystematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufsprache(Softwaretechnik-Trends: Vol. 32, No. 2, 2012) Sonntag, Christian; Fischer, Stephan; Engell, Sebastian