Thèse nationale
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
Date de soutenance: 29-04-2017
Encadrant
HAJJI Khalid