TY  - THES
DP  - 
		http://www.theses.fr/2014TOU30179
TI  - Conception et vérification d'exigences de sûreté temporisées à base de contrats dans les modèles SysML
AU  - Dragomir, Iulia
A3  - Ober, Iulian; Percebois, Christian
PY  - 2014
SP  - 1 vol. (262 p.)
N1  - Thèse de doctorat Sureté de logiciel et calcul de haute performance Toulouse 3 2014
N1  - 2014TOU30179
ER  -