Sign in

Analysis of the OLSR Protocol by Using Formal Passive Testing.

César AndrésStéphane MaagAna R. CavalliMercedes G. MerayoManuel Núñez
Published in: APSEC (2009)
Keyphrases
  • formal analysis
  • database
  • information systems
  • data sets
  • information retrieval
  • lightweight
  • quantitative analysis
  • communication protocol