TY  - THES
DP  - 
		http://www.theses.fr/1997INPT027H
TI  - Spécification et construction incrémentale de modèles de sûreté de fonctionnement : application au CAUTRA
AU  - Fota, Nicolae
A3  - Kanoun, Karama
PY  - 1997
SP  - 1 vol. (191 f.)
N1  - Thèse de doctorat Informatique Toulouse, INPT 1997
N1  - 1997INPT027H
ER  -