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

Doctorat
Equipe : Données et Connaissances Massives et Hétérogènes

Approche symbolique pour la vérification et le test de la chorégraphie

Début le 24/11/2009
Direction : ZAIDI, Fatiha

Ecole doctorale : ED STIC 580
Etablissement d'inscription : Université Paris-Sud

Lieu de déroulement : LRI

Soutenue le 31/10/2013 devant le jury composé de :
Rapporteurs:
- Manuel Núñez, Professeur, Universidad Complutense de Madrid, Espagne
- Gwen Salaün, Mdc HDR, Grenoble Inp, Inria, France

Examinateurs:
- Philippe Dague, Professeur, Université Paris-Sud, France
- Gianluigi Zavattaro, Professeur, Università di Bologna, Italy

Directeurs de thèse:
- Pascal Poizat, Professeur, Université Paris Ouest Nanterre la Défense, France
- Fatia Zaïdi, Mdc HDR, Université Paris Sud , France

Activités de recherche :
   - Test formel basé sur les modèles

Résumé :