Robotique

Elaboration of invariant safety properties from fault-tree analysis

Publié le 9 juillet 2003 - IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications"

Auteurs : Sébastien Henry, Jean-Marc Faure