Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Habilitation à diriger des recherches de

Habilitation à diriger des recherches
Equipe : Test Formel et Exploration de Systèmes

Formal Model-Based Approaches for the Development of Composite Systems

Début le 01/01/1970
Direction : GAUDEL, Marie-Claude

Ecole doctorale :
Etablissement d'inscription : Université Paris-Saclay

Lieu de déroulement :

Soutenue le 24/11/2011 devant le jury composé de :
Philippe Dague, Université Paris Sud (Président) ;
Marie-Claude Gaudel, Université Paris Sud (Examinatrice) ;
Mohand-Said Hacid, Université Claude Bernard Lyon 1 (Rapporteur) ;
Paola Inverardi, Universita dell'Aquila (Rapportrice) ;
Fabrice Kordon, Université Pierre et Marie Curie (Rapporteur) ;
Ernesto Pimentel, Universidad de Malaga (Examinateur).

Activités de recherche :

Résumé :