National thesis

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
Defence date: 29-04-2016

Supervisor