Robotique

Performance evaluation of a flexible manufacturing system using two formal methods

Published on - Control, Engineering & Information Technology (CEIT), 2015 3rd International Conference on

Authors: Liza Mameri, Redouane Kara, Saïd Amari