A complete framework for controller verification in manufacturing.

Christian Gerber, Sebastian Preue, Hans-Michael Hanisch

Browse the full ETFA paper archive.