Coupling simulation and model checking to examine selected mechanical constraints of automated production systems.

Birgit Vogel-Heuser, Jens Folmer, Thomas Aicher, Jakob Mund, Sebastian Rehberger

Browse the full INDIN paper archive.