Formal modeling of traffic based flooding procedure of AODV for Mobile Ad hoc Networks

@article{Saeed2016FormalMO,
  title={Formal modeling of traffic based flooding procedure of AODV for Mobile Ad hoc Networks},
  author={Tahreem Saeed and Zafar Iqbal and Hamra Afzaal and Nazir Ahmad Zafar},
  journal={2016 International Conference on Emerging Technologies (ICET)},
  year={2016},
  pages={1-6}
}
Rapid advancement in ad hoc networks and its variants, create a need for efficient and accurate routing decisions. As routing decisions for Mobile Ad hoc Networks has great impact on the overall performance of the network Quality of Service (QoS) parameters (delay, bandwidth, PDR etc.), optimized routing protocols need to be designed. One of the biggest challenges in designing ad hoc routing protocols is to attain the bounded delay and finding the best path/route to the desired node. Ad hoc on… CONTINUE READING