Frama-C
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 |
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 |