[IEEE 2015 10th International Conference on Intelligent...

  • Main
  • [IEEE 2015 10th International...

[IEEE 2015 10th International Conference on Intelligent Systems: Theories and Applications (SITA) - Rabat (2015.10.20-2015.10.21)] 2015 10th International Conference on Intelligent Systems: Theories and Applications (SITA) - Formal verification of MPR selection algorithm in the OLSR protocol

Barki, Omar, Guennoun, Zouhair, Addaim, Adnane
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2015
Language:
english
DOI:
10.1109/SITA.2015.7358414
File:
PDF, 328 KB
english, 2015
Conversion to is in progress
Conversion to is failed