Frama-C

RSS M'abonner au flux RSS
1 article(s) correspondant(s)
Il y a 6 années
"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 : aéronautique, CEA LIST, code source, cybersécurité, Dassault Aviation, Frama-C, ingénierie, Institut Carnot TN@UPSaclay, logiciel, sécurité informatique, systèmes embarqués, vulnérabilité
Article indisponible ?