Logiciels

Vizroute: analyse et simulation de schémas de routage

Visidia: visualisation d'algorithmes distribués

Simulations d'algorithmes auto-stabilisants.

RDA: une bibliothèque en Coq pour les algorithmes distribués probabilistes.

Français English

Emplois

Groupe

GT

Opportunités

edit SideBar

Blix theme adapted by David Gilbert, powered by PmWiki