![](/img/cover-not-exists.png)
[IEEE 2017 International Conference on Energy, Communication, Data Analytics and Soft Computing (ICECDS) - Chennai, India (2017.8.1-2017.8.2)] 2017 International Conference on Energy, Communication, Data Analytics and Soft Computing (ICECDS) - Formal verification of opportunistic routing protocol using SPIN model checker
Thorat, Sandeep A., Kulkarni, P. J., Yadav, Shital V.Year:
2017
Language:
english
DOI:
10.1109/ICECDS.2017.8389948
File:
PDF, 621 KB
english, 2017