Login / Signup
Formal verification of LTE-UMTS and LTE-LTE handover procedures.
Piergiuseppe Bettassa Copet
Guido Marchetto
Riccardo Sisto
Luciana Costa
Published in:
Comput. Stand. Interfaces (2017)
Keyphrases
</>
formal verification
long term evolution
mobile networks
quality of service
pricing model
cellular networks
internet access
fourth generation
model checking
energy saving
mobile users
heterogeneous networks
wifi
state space
video streaming
computer simulation
source code