Published Robotique FROM FAULT TREE ANALYSIS TO MODEL CHECKING OF LOGIC CONTROLLERS Published on 4 July 2005 - 16th IFAC World Congress Authors: Israel Santiago Barragan, Jean-Marc Faure See the publication on HAL Prev. Back to the list Next