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-Saclay
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é :
