8 avr. 2011 ... AUTOMATIQUE ET INFORMATIQUE INDUSTRIELLE. Par. Sana JABRI.
DOCTORAT DELIVRE PAR L'ECOLE CENTRALE DE LILLE. Titre de la ..... 2.4.2
Les outils utilisés dans la génération de scénarios de test de conformité. ......
vérifier les modèles formels du système ou bien le produit livré à la fin (cf. 
