Contribution à la vérification d'exigences de sécurité : application au domaine de la machine industrielle

par Dominique Evrot

Thèse de doctorat en Automatique, Traitement du Signal, Génie Informatique

Sous la direction de Gérard Morel et de Jean-François Petin.

Soutenue le 17-07-2008

à Nancy 1 , dans le cadre de IAEM Lorraine , en partenariat avec CRAN (laboratoire) et de Institut National de Recherche et de Sécurité