Main

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

JBotSim: bibliothèque de prototypage d'algorithmes distribués dans les réseaux dynamiques

Français English

Emplois

Groupe

GT

Opportunités

edit SideBar

Blix theme adapted by David Gilbert, powered by PmWiki