Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Paulo Salem da Silva (Salem da silva)

est l'auteur d'une thèse

Comportementalisme Environements Méthodes formelles Méthodes formelles Simulation Systèmes multi-agents Test basé sur des modèles Traitement réparti Vérification formelle

Fullscreen

Comportementalisme Environements Méthodes formelles Méthodes formelles Simulation Systèmes multi-agents Test basé sur des modèles Traitement réparti Vérification formelle

Paulo Salem da Silva (Salem da silva) a rédigé la thèse suivante :

Verification of behaviourist multi-agent systems by means of formally guided simulations

par Paulo Salem da Silva (Salem da silva) sous la direction de Marie-Claude Gaudel et de Ana Cristina Vieira De Melo . - Paris 11

Informatique

Soutenue le 28-11-2011

Thèse soutenue

Accéder en ligne