Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Doctorat de

Doctorat
Equipe : Test Formel et Exploration de Systèmes

Test Generation and Animation Based on Object-Oriented Specifications

Début le 01/01/2009
Direction : WOLFF, Burkhart

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

Lieu de déroulement : INRIA Saclay

Soutenue le 09/12/2011 devant le jury composé de :
Bernhard Rumpe, RWTH Aachen, Rapporteur

Catherine Dubois, Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE), Rapporteur

Burkhart Wolff, Université Paris-Sud, Directeur de Thèse

Christine Paulin-Mohring, Université Paris-Sud, Examinatrice

Bruno Marre, Commissariat à l'Energie Atomique et aux Energies Alternatives (CEA), Examinateur

Activités de recherche :

Résumé :