La sécurité routière, l’angle mort des voitures autonomes
Résumé
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.