Thèse nationale

Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : application aux véhicules autonomes communicants

Université Ibn Khaldoun
Date de soutenance: 29-04-2016

Encadrant