La sécurité routière, l’angle mort des voitures autonomes
Abstract
Mon article paru dans TheConversation France soulève le problème de la sûreté du logiciel embarqué automobile et fait la promotion des méthodes formelles pour sauver des vies.