TY  - THES
DP  - 
		http://www.theses.fr/2006MULH0840
TI  - Une Approche Orientée Modèles pour la Spécification, la Vérification et l’Implantation des Systèmes Logiciels Critiques
AU  - Rasse, Alban
A3  - Thirion, Bernard
PY  - 2006
SP  - 1 vol. (161 p.)
N1  - Thèse de doctorat Électronique, électrotechnique et automatique Mulhouse 2006
N1  - 2006MULH0840
ER  -