TY  - THES
DP  - 
		http://www.theses.fr/2007DENS0013
TI  - Elaboration de propriétés formelles de contrôleurs logiques à partir d'analyse prévisionnelle par arbre des défaillances
AU  - Barragan Santiago, Israel
A3  - Faure, Jean-Marc
PY  - 2007
SP  - 1 vol. (154 p.)
N1  - Thèse de doctorat Électronique, électrotechnique, automatique Cachan, Ecole normale supérieure 2007
N1  - 2007DENS0013
ER  -