Qualitative analysis of a BDMP by finite automata

Publié le 18 septembre 2011 - 20th European Safety & Reliability Conf. (ESREL'11)

Auteurs : Pierre-Yves Chaux, Jean-Marc Roussel, Jean-Jacques Lesage, Gilles Deleuze, Marc Bouissou