@inproceedings{aea4bf2af2434e46bfe42a2198bcb783,
title = "Conformance and interoperability testing of an ad hoc routing protocol",
abstract = "Several researches are currently dealing with the validation of ad hoc routing protocols. But almost all of them stress their analysis from simulation or emulation studies. We present in this paper a formal methodology for the conformance and interoperability testing of the DSR protocol based on a formal specification of the protocol designed in SDL. Difficulties in interoperability testing are illustrated and solutions are proposed.",
author = "Cyril Grepet and Stephane Maag",
year = "2006",
month = nov,
day = "21",
doi = "10.1109/MDM.2006.49",
language = "English",
isbn = "0769525261",
series = "Proceedings - IEEE International Conference on Mobile Data Management",
booktitle = "7th International Conference on Mobile Data Management, 2006. MDM 2006",
note = "7th International Conference on Mobile Data Management, 2006. MDM 2006 ; Conference date: 10-05-2006 Through 12-05-2006",
}