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

Multi-Agent Systems Verification by Means of Simulation Analysis

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

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

Lieu de déroulement : LRI et IME (Univ Sao Paolo)

Soutenue le 28/11/2011 devant le jury composé de :
Ana CV de Melo
J P Briot
Marcelo Finger
Flavio S C da Silva
Augusto Sampaio

Activités de recherche :

Résumé :