Analysis of the OLSR protocol by using formal passive testing

  1. Andrés, C.
  2. Maag, S.
  3. Cavalli, A.
  4. Merayo, M.G.
  5. Núñez, M.
Actes de conférence:
Proceedings - Asia-Pacific Software Engineering Conference, APSEC

ISSN: 1530-1362

ISBN: 9780769539096

Année de publication: 2009

Pages: 152-159

Type: Communication dans un congrès

DOI: 10.1109/APSEC.2009.37 GOOGLE SCHOLAR