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]

Abstract

Abstract is missing.