Ecole d'ingénieur et centre de recherche en télécommunications
Seminar: Méthodologie pour la vérification des protocoles de routage
Daniel CAMARA - Doctorant CM
Communications Mobiles
Date: 15 novembre 2007
Lieu: Eurecom - EN05
Nous décrivons une technique pour la vérification des protocoles des réseaux mobiles ad hoc en utilisant des méthodes formelles. Contrairement à d'autres techniques, celle que nous présentons ne vise pas à modéliser une configuration spécifique de réseaux
Permalink: http://www.eurecom.fr/seminar/198
Méthodologie pour la vérification des protocoles de routage
