TLA-style Specification of a Mobile Network.

Tatjana Kapus Zmago Brezocnik

Published in: EUROMICRO (1997)

Keyphrases

mobile networks
wireless networks
mobile users
mobile devices
ad hoc networks
base station
temporal logic
ip networks
mobile ip
cellular networks
route optimization
multimedia content
mobile nodes
blocking probability
high level
objective function
routing problem
context aware
data model
search space