Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL
Riaz, Shehla, Afzaal, Hamra, Imran, Muhammad, Zafar, Nazir Ahmad, Aksoy, Mehmet SabihVolume:
63
Year:
2015
Language:
english
Journal:
Procedia Computer Science
DOI:
10.1016/j.procs.2015.08.325
File:
PDF, 1.64 MB
english, 2015