Felipe Lalanne, Stephane Maag. DataMonitor - A formal approach for passively testing a MANET routing protocol. In Roberto Saracco, Khaled Ben Letaief, Mario Gerla, Sergio Palazzo, Luigi Atzori, editors, 2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013, Sardinia, Italy, July 1-5, 2013. pages 207-212, IEEE, 2013. [doi]
Abstract is missing.