Israel Barragan Santiago

INCLUDING SYSTEMATIC FAULTS INTO FAULT TREE ANALYSIS

Yiannis Papadopoulos, Jean-Marc Faure, Israel Barragan Santiago, 2006 .

From fault tree analysis to model checking of logic controllers

Jean-Marc Faure, Israel Barragan Santiago, 2005 .

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

Jean-Marc Faure, Matthias Roth, Israel Barragan Santiago, 2006 .