Research

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