An Algebraic Verification of a Mobile Network.

Fredrik Orava Joachim Parrow

Published in: Formal Aspects Comput. (1992)

Keyphrases

mobile networks
mobile users
ad hoc networks
wireless networks
mobile devices
ip networks
base station
cellular networks
multimedia content
blocking probability
mobile ad hoc networks
route optimization
mobile nodes
multimedia
mobile ip
routing problem
wireless sensor networks
data sets