Sujet de doctorat: Approche formelle pour la modélisation et la simulation à évènements discrets de systèmes multi-agents

Titre de la thèse: Approche formelle pour la modélisation et la simulation à évènements discrets de systèmes multi-agents