@PHDTHESIS{guign2014,
url = "http://www.theses.fr/2014DENS0050",
title = "Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée",
author = "Guignard, Anaïs",
year = "2014",
note = "Thèse de doctorat dirigée par Faure, Jean-Marc Électronique, électrotechnique, automatique Cachan, Ecole normale supérieure 2014",
note = "2014DENS0050",
url = "http://www.theses.fr/2014DENS0050/document",
}