Julien Provost

发表

Technical report on Conformance Test of Programmable Logic Controllers - Execution of Minimum-Length Test Sequences

Jean-Marc Faure, Jean-Marc Roussel, Julien Provost, 2014 .

Testing programmable logic controllers from finite state machines specification

Jean-Marc Faure, Jean-Marc Roussel, Julien Provost, 2011, 2011 3rd International Workshop on Dependable Control of Discrete Systems.

Test sequence construction from SFC specification

Jean-Marc Faure, Jean-Marc Roussel, Julien Provost, 2009 .

Test de conformité de contrôleurs logiques spécifiés en grafcet

Julien Provost, 2011 .

Test exhaustif de contrôleurs logiques spécifiés en Grafcet: Apports et limites d'une modélisation par machines de Mealy

Jean-Marc Faure, Jean-Marc Roussel, Julien Provost, 2009 .

Translating Grafcet specifications into Mealy machines for conformance test purposes

Jean-Marc Faure, Julien Provost, Jean-Marc Roussel, 2011 .