Birgit Vogel-Heuser, Jens Folmer, Thomas Aicher, Jakob Mund, Sebastian Rehberger. Coupling simulation and model checking to examine selected mechanical constraints of automated production systems. In 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015. pages 37-42, IEEE, 2015. [doi]
@inproceedings{Vogel-HeuserFAM15,
title = {Coupling simulation and model checking to examine selected mechanical constraints of automated production systems},
author = {Birgit Vogel-Heuser and Jens Folmer and Thomas Aicher and Jakob Mund and Sebastian Rehberger},
year = {2015},
doi = {10.1109/INDIN.2015.7281707},
url = {http://dx.doi.org/10.1109/INDIN.2015.7281707},
researchr = {https://researchr.org/publication/Vogel-HeuserFAM15},
cites = {0},
citedby = {0},
pages = {37-42},
booktitle = {13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015},
publisher = {IEEE},
isbn = {978-1-4799-6649-3},
}