Coupling simulation and model checking to examine selected mechanical constraints of automated production systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Birgit Vogel-Heuser' in GoogleThis author has not been identified. Look up 'Jens Folmer' in GoogleThis author has not been identified. Look up 'Thomas Aicher' in GoogleThis author has not been identified. Look up 'Jakob Mund' in GoogleThis author has not been identified. Look up 'Sebastian Rehberger' in Google

runs on WebDSL