TY  - THES
DP  - 
		http://www.theses.fr/1999LIL10135
TI  - Spécification et vérification fonctionnelle et comportementale d'un équipement intelligent
AU  - Lemaire, Étienne
A3  - Bayart-Merchez, Mireille
PY  - 1999
SP  - 1 vol. (207 p.)
N1  - Thèse de doctorat Productique, automatique et informatique industrielle Lille 1 1999
N1  - 1999LIL10135
ER  -