TY - THES DP - http://www.theses.fr/2014DENS0050 TI - Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée AU - Guignard, Anaïs A3 - Faure, Jean-Marc PY - 2014 N1 - Thèse de doctorat Électronique, électrotechnique, automatique Cachan, Ecole normale supérieure 2014 N1 - 2014DENS0050 UR - http://www.theses.fr/2014DENS0050/document ER -