Ad Hoc Routing Protocol Verification Through Broadcast Abstraction.

Oskar Wibling Joachim Parrow Arnold Neville Pears

Published 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