Open AccessTest exhaustif de contrôleurs logiques spécifiés en Grafcet : apports et limites d'une modélisation par machines de Mealy
Author(s) -
Julien Provost,
Jean-Marc Roussel,
Jean-Marc Faure
Publication year - 2009
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - French
Resource type - Conference proceedings
Subject(s) - computer science , mod , mathematics , combinatorics