Robotique

OBTAINING TEMPORAL AND TIMED PROPERTIES OF LOGIC CONTROLLERS FROM FAULT TREE ANALYSIS

Published on - 12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006

Authors: Israel Santiago Barragan, Matthias Roth, Jean-Marc Faure