Compositional Modelling and Verification of IPv6 Mobility.

Peng Wu Dongmei Zhang

Published in: FORTE (2005)

Keyphrases

model checking
mobile users
face verification
mobile agents
campus network
learning algorithm
formal verification
information systems
case study
context aware
formal analysis
network connectivity
person identification