Robotique

Elaboration of invariant safety properties from fault-tree analysis

Published on - IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications"

Authors: Sébastien Henry, Jean-Marc Faure