Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe. Formal Verification of UML-modeled Machine Controls. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009, September 22-25, 2008, Palma de Mallorca, Spain. pages 1-7, IEEE, 2009. [doi]
@inproceedings{KlotzFSH09,
title = {Formal Verification of UML-modeled Machine Controls},
author = {Thomas Klotz and Eva Fordran and Bernd Straube and Jürgen Haufe},
year = {2009},
doi = {10.1109/ETFA.2009.5347044},
url = {http://doi.ieeecomputersociety.org/10.1109/ETFA.2009.5347044},
researchr = {https://researchr.org/publication/KlotzFSH09},
cites = {0},
citedby = {0},
pages = {1-7},
booktitle = {Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009, September 22-25, 2008, Palma de Mallorca, Spain},
publisher = {IEEE},
isbn = {978-1-4244-2727-7},
}