Evènement pour le groupe
Preuves d'algorithmes distribués
Date | 2009-02-05 09:30-10:30 |
Titre | Preuves d'un algorithme d'élection dans un arbre |
Résumé | On présentera les principaux points de
la preuve formelle (en Coq)
d'aun algorithme distribué d'élection dans un arbre. |
Lieu | 075 |
Orateur | Vincent Filou |
Email | vincent.filou@labri.fr |
Aucun document lié à cet événement.
RetourRetour à l'index