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. Analysis of the OLSR Protocol by Using Formal Passive Testing. In Shahida Sulaiman, Noor Maizura Mohamad Noor, editors, 16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia. pages 152-159, IEEE Computer Society, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.