Formal verification of LTE-UMTS handover procedures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa. Formal verification of LTE-UMTS handover procedures. In 2015 IEEE Symposium on Computers and Communication, ISCC 2015, Larnaca, Cyprus, July 6-9, 2015. pages 738-744, IEEE Computer Society, 2015. [doi]

This author has not been identified. Look up 'Piergiuseppe Bettassa Copet' in GoogleThis author has not been identified. Look up 'Guido Marchetto' in GoogleThis author has not been identified. Look up 'Riccardo Sisto' in GoogleThis author has not been identified. Look up 'Luciana Costa' in Google

runs on WebDSL