Sûreté de fonctionnement des systèmes
Contact : Therese.Hardin (at) nulllip6.frFrom 09/15/1998 to 09/14/2001
Utilisation et développement des méthodes formelles et mathématiques appliquées à la sûreté de fonctionnement des systèmes d’information et à la spécification d’outils pour évaluer cette sûreté.
SURLOGTherese HARDIN