Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > SALEM DA SILVA Paulo
Présentation
M. SALEM DA SILVA Paulo

ATTENTION : ce membre a quitté le laboratoire le 31/12/2011
 
Doctorant
Université Paris-Saclay
Test Formel et Exploration de Systèmes

Tel :
Fax :
Bureau : 65/PCRI-S

Page personnelle :
Courrier électronique : Paulo.Salem_Da_Silva@lri.fr











Thèses et habilitations
Thèse en cours   - Véeification de système multi-agents en utilisant l'analyse de simulation
Doctorat   - Multi-Agent Systems Verification by Means of Simulation Analysis