@PHDTHESIS{evrot2008,
url = "http://www.theses.fr/2008NAN10038",
title = "Contribution à la vérification d'exigences de sécurité : application au domaine de la machine industrielle",
author = "Evrot, Dominique",
year = "2008",
note = "Thèse de doctorat dirigée par Morel, Gérard et Petin, Jean-François Automatique, Traitement du Signal, Génie Informatique Nancy 1 2008",
note = "2008NAN10038",
url = "http://www.theses.fr/2008NAN10038/document",
}