A statistical model checking approach to analyse the random access protocol
A Roumane, B Kechar - International Journal of Wireless …, 2022 - inderscienceonline.com
Mobile cellular networks are becoming the most important technology in the telecom
industry, and this made them a preferred subject for research and development of new …
industry, and this made them a preferred subject for research and development of new …
Probabilistic model checking of AODV
This paper presents the formal modelling and verification of the Ad-hoc On-demand
Distance Vector (AODV) routing protocol. Our study focuses on the quantitative aspects of …
Distance Vector (AODV) routing protocol. Our study focuses on the quantitative aspects of …