N° d'ordre

Niveau: Supérieur, Doctorat, Bac+8

• dissertation

: N° d'ordre : 2546 THESE Préparée au Laboratoire d'Analyse et d'Architecture des Systèmes du CNRS pour obtenir LE TITRE DE DOCTEUR DE L'UNIVERSITÉ DE TOULOUSE, DÉLIVRÉ PAR L'INSTITUT NATIONAL POLYTECHNIQUE DE TOULOUSE École doctorale : Systèmes Spécialité : Systèmes Informatiques Par Ana–Elena Rugina Modélisation et évaluation de la sûreté de fonctionnement – De AADL vers les réseaux de Petri stochastiques Dependability modeling and evaluation – From AADL to stochastic Petri nets Soutenue le 19 novembre 2007 devant le jury composé de : M. P. Feiler Président Mme. K. Kanoun Directeur de thèse Mme. F. di Giandomenico Rapporteur M. A. van Moorsel Rapporteur M. M. Kaâniche Examinateur M. C. Lemercier Examinateur

• fault tolerance research


• aadl vers les réseaux de petri stochastiques


• has been


• titre de docteur de l'université de toulouse


• kanoun directeur de thèse


• also very


• di giandomenico


• european social