LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL

Publié le 26 septembre 2006 - 3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna (Poland), 26-28 September 2006

Auteurs : José Machado, Bruno Denis, Jean-Jacques Lesage, Jean-Marc Faure, Jaime Fereira