Verification of mobile ad hoc networks: An algebraic approach.

Fatemeh Ghassemi Wan J. Fokkink Ali Movaghar

Published in: Theor. Comput. Sci. (2011)

Keyphrases

mobile ad hoc networks
routing protocol
ad hoc networks
multi hop
multipath
network topology
network simulator
highly dynamic
cross layer
model checking
mobile nodes
social networks
mobile networks
topology control
intermediate nodes
network nodes
quality of service
context aware