Login / Signup
Compositional Verification of a Third Generation Mobile Communication Protocol.
Sari Leppänen
Matti Luukkainen
Published in:
ICDCS Workshop on Distributed System Validation and Verification (2000)
Keyphrases
</>
communication protocol
mobile devices
wifi
mobile phone
communication protocols
model checking
mobile applications
mobile networks
context aware
smart phones
neural network
artificial intelligence
sensor data
mobile users
physical layer