Verification of Mobility-Based GSM/WCDMA Intersystem Handover Using Measurement Data.
Rong-Terng JuangHsin-Piao LinDing-Bing LinWei-Cheng ZengPublished in: PIMRC (2006)
Keyphrases
- measurement data
- mobile communication
- mobile ipv
- mobility management
- mobile networks
- data sets
- wireless networks
- wifi
- heterogeneous networks
- wireless lan
- mobile users
- model checking
- end to end
- signature verification
- wireless communication
- formal methods
- mobile communications
- energy efficient
- mobile agents
- base station
- expert knowledge
- ad hoc networks
- verification method
- face verification
- mobile nodes
- cellular networks
- low cost
- rfid tags
- multimedia services
- formal verification
- knowledge representation
- wireless sensor networks
- decision making