TY  - THES
DP  - 
		http://www.theses.fr/2006BOR13292
TI  - Un cadre formel pour le test de robustesse des protocoles de communication
AU  - Saad Khorchef, Farès
A3  - Castanet, Richard
PY  - 2006
SP  - 1 vol. (vi-v-168 p.)
N1  - Thèse de doctorat Informatique et mathématiques Bordeaux 1 2006
N1  - 2006BOR13292
ER  -