Grâce au logiciel Frama-C du Carnot TN@UPSaclay (CEA List), Dassault Aviation innove en cybersécurité

Publié sur Association des instituts Carnot, le 24/01/2018

Recherche & Développement

Tags : Institut Carnot TN@UPSaclay, aéronautique, Dassault Aviation, vulnérabilité, systèmes embarqués, cybersécurité, sécurité informatique, code source, Frama-C, logiciel, CEA LIST, ingénierie