Ad Hoc Routing Protocol Verification Through Broadcast Abstraction.
Oskar WiblingJoachim ParrowArnold Neville PearsPublished in: FORTE (2005)
Keyphrases
- routing protocol
- data delivery
- adhoc network
- ad hoc networks
- wireless sensor networks
- network topology
- mobile ad hoc networks
- routing algorithm
- sensor networks
- data transmission
- energy consumption
- energy efficient
- energy aware
- data dissemination
- network layer
- cross layer
- energy efficiency
- multi hop
- wireless ad hoc networks
- routing scheme
- biological inspired
- real time
- end to end delay
- mobile nodes
- wireless mesh networks
- data transfer
- intermediate nodes
- base station
- packet delivery
- response time
- power consumption