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

Sajeh Zairi, Belhassen Zouari, Laurent Pitrac

Browse the full ETFA paper archive.