Evènement pour le groupe Preuves d'algorithmes distribués


Date 2009-02-05  09:30-10:30
TitrePreuves 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. 
Lieu075 
OrateurVincent Filou 
Emailvincent.filou@labri.fr 



Aucun document lié à cet événement.

Retour
Retour à l'index