Robotique

Testing Programmable Logic Controllers from Finite State Machines specification

Published on - 3rd International Workshop on Dependable Control of Discrete Systems - DCDS 2011

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