To search, Click below search items.
All Published Papers Search Service
Title
Mathematical Modeling of Routes Maintenance and Recovery Procedure for MANETs
Author
Zafar Iqbal, Tahreem Saeed, Tariq Rafiq and Ahsan Humayun
Vol. 18 No. 8 pp. 57-64
Keywords
Wireless Ad hoc Networks, MANETs, Routes Management, ad hoc routing, Route failure, Route Recovery, Formal Methods, VDM-SL