Ouvrage
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.
Éditions Dunod
(2017), Pages 153