A formal approach for the specification, verification and control of flexible manufacturing systems

Sajeh Zairi, Belhassen Zouari, Laurent Piétrac. A formal approach for the specification, verification and control of flexible manufacturing systems. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece. pages 1031-1038, IEEE, 2007. [doi]

Authors

Sajeh Zairi

This author has not been identified. Look up 'Sajeh Zairi' in Google

Belhassen Zouari

This author has not been identified. Look up 'Belhassen Zouari' in Google

Laurent Piétrac

This author has not been identified. Look up 'Laurent Piétrac' in Google