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 665
Téléchargements
Le téléchargement vous est proposé pour une consultation hors ligne. Veuillez respecter le droit à l'image et ne pas déposer cette vidéo sur un autre site.