Robotique

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

Publié le - 12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006

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