National thesis
Approche formelle pour générer et réduire des cas d'usage sécuritaires de véhicules autonomes.
Approche formelle pour générer et réduire des cas d'usage sécuritaires de véhicules autonomes.
Université Ibn Khaldoun
Defence date: 29-04-2017
Supervisor
HAJJI Khalid