Robotique

FROM FAULT TREE ANALYSIS TO MODEL CHECKING OF LOGIC CONTROLLERS

Published on - 16th IFAC World Congress

Authors: Israel Santiago Barragan, Jean-Marc Faure