Précédent : Collaboration avec le CNET sur Remonter : Actions industrielles Suivant : Actions nationales et internationales
Précédent : Collaboration avec le CNET sur Remonter
: Actions industrielles Suivant : Actions
nationales et internationales
Participants : Djamila Bouzid, Pierre Lescanne, Nicolas Hermann
Dans le cadre de l'opération VIP (Verified Internet Protocols) du GIE DYADE, nous avons participé à la formalisation de certains aspects du protocole Internet IP, pour en étudier la vérification par preuve (voir paragraphe 3.2.1 ).