Research
DISC department
DEODIS
Algorithmique numérique distribuée, réseaux mobiles, systèmes distribués, vérification et validation de logiciels et de dispositifs embarqués

You are here

DEODIS publications