Thomas Aicher, Sebastian Rehberger, Birgit Vogel-Heuser. Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation. In IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, August 24-28, 2015. pages 1048-1053, IEEE, 2015. [doi]
@inproceedings{AicherRV15,
title = {Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation},
author = {Thomas Aicher and Sebastian Rehberger and Birgit Vogel-Heuser},
year = {2015},
doi = {10.1109/CoASE.2015.7294237},
url = {http://dx.doi.org/10.1109/CoASE.2015.7294237},
researchr = {https://researchr.org/publication/AicherRV15},
cites = {0},
citedby = {0},
pages = {1048-1053},
booktitle = {IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, August 24-28, 2015},
publisher = {IEEE},
isbn = {978-1-4673-8183-3},
}