Conception d’un noyau minimal, garantissant l’isolation mémoire, et la réalisation de preuve formelle de ses propriétés de sécurité en Coq

15 AVRIL 2015 17:17 | Durée 03:04 | Vues 231
haut de page