Sûreté de fonctionnement des systèmes
Contact : Therese.Hardin (at) nulllip6.frDu 15/09/1998 au 14/09/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