Formal Modelling and Verification of Requirements of Adaptive Routing Protocol for Mobile Ad-Hoc Network.
Bata Krishna TripathyAshray SudhirPadmalochan BeraMohammad Ashiqur RahmanPublished in: COMPSAC (1) (2017)
Keyphrases
- routing protocol
- mobile ad hoc networks
- ad hoc networks
- routing algorithm
- network topology
- wireless sensor networks
- multi hop
- data transmission
- energy consumption
- cross layer
- network layer
- sensor networks
- data delivery
- mobile nodes
- energy efficiency
- energy efficient
- routing overhead
- wireless ad hoc networks
- network nodes
- network simulator
- adhoc network
- routing scheme
- multicast routing protocol
- real time
- source node
- end to end delay
- digital libraries
- social networks