Christian Sonntag, Stephan Fischer, Sebastian Engell. Systematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufsprache. Softwaretechnik-Trends, 32(2), 2012. [doi]
@article{SonntagFE12,
title = {Systematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufsprache},
author = {Christian Sonntag and Stephan Fischer and Sebastian Engell},
year = {2012},
url = {http://pi.informatik.uni-siegen.de/stt/32_2/03_Technische_Beitraege/MAT12/mat2012_submission_11.pdf},
researchr = {https://researchr.org/publication/SonntagFE12},
cites = {0},
citedby = {0},
journal = {Softwaretechnik-Trends},
volume = {32},
number = {2},
}