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

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