Analysis of the OLSR Protocol by Using Formal Passive Testing.

César Andrés Stéphane Maag Ana R. Cavalli Mercedes G. Merayo Manuel Núñez

Published in: APSEC (2009)

Keyphrases

formal analysis
database
information systems
data sets
information retrieval
lightweight
quantitative analysis
communication protocol