Performance evaluation of a flexible manufacturing system using two formal methods

Publié le 25 mai 2015 - Control, Engineering & Information Technology (CEIT), 2015 3rd International Conference on