Modeling and verifying ad hoc routing protocols.
Mathilde ArnaudVéronique CortierStéphanie DelaunePublished in: Inf. Comput. (2014)
Keyphrases
- routing protocol
- ad hoc networks
- wireless sensor networks
- routing algorithm
- network topology
- energy aware
- mobile ad hoc networks
- energy consumption
- wireless ad hoc networks
- sensor networks
- multi dimensional
- multi hop
- energy efficiency
- wireless networks
- real time
- data transmission
- high speed
- mobile nodes
- data delivery
- route selection