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

Document

Page Daniel Camara

Méthodologie pour la vérification des protocoles de routage

Rechercher