Published

Robotique

LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL

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

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

See the publication on HAL