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.
Actas:
Proceedings - Asia-Pacific Software Engineering Conference, APSEC

ISSN: 1530-1362

ISBN: 9780769539096

Año de publicación: 2009

Páginas: 152-159

Tipo: Aportación congreso

DOI: 10.1109/APSEC.2009.37 GOOGLE SCHOLAR
Fuente de los datos: Scopus