Apport de la réécriture pour la vérification d'un programme de commande par model-checking
: cas du Ladder Diagram : mémoire de recherche / Olivier Cardin, 2004 [DEA]
Service Oriented, Holonic and Mulyi-Agent Manufacturing Systems for Industry of the
Future