Robotique

Testing Programmable Logic Controllers from Finite State Machines specification

Publié le - 3rd International Workshop on Dependable Control of Discrete Systems - DCDS 2011

Auteurs : Julien Provost, Jean-Marc Roussel, Jean-Marc Faure