Skip to content
Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • Events
    • HPC4AI – Intelligenza Artificiale e Big Data: opportunità e servizi al Politecnico
    • 6th SmartData@Polito Workshop
    • Computing@PoliTO Workshop
  • Seminars
    • Uncertainty damping in the macroscopic forecast of vehicular traffic flow
    • Information Exposure for Consumer IoT Devices: A Multidimensional, Network-Informed Measurement Approach
    • Issues in Spatial Databases and Geographic Information Systems (GIS)
  • Education
    • Courses for PhD students
    • PhD Course: Data Science for Networks
    • PhD Course: Introduction to Random Matrices – Theory and Practice
    • Alta Scuola Politecnica: Winter School 2019
  • Research
    • Publications
    • Current PhD
    • Projects
    • Open Datasets & Libraries
    • Topics
  • Open Positions
    • open position – Assistant Professor with time contract (RTD-A)
    • open position – PostDoc researchers
    • Open position – Technologist
    • open position – PhD student
  • BigData@Polito Cluster
    • Computing Facilities
    • Request BigData@Polito Account
    • BigData@Polito Access Instructions
    • Run Jobs with Custom Packages
  • Private Area
  • Search
Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • Events
    • HPC4AI – Intelligenza Artificiale e Big Data: opportunità e servizi al Politecnico
    • 6th SmartData@Polito Workshop
    • Computing@PoliTO Workshop
  • Seminars
    • Uncertainty damping in the macroscopic forecast of vehicular traffic flow
    • Information Exposure for Consumer IoT Devices: A Multidimensional, Network-Informed Measurement Approach
    • Issues in Spatial Databases and Geographic Information Systems (GIS)
  • Education
    • Courses for PhD students
    • PhD Course: Data Science for Networks
    • PhD Course: Introduction to Random Matrices – Theory and Practice
    • Alta Scuola Politecnica: Winter School 2019
  • Research
    • Publications
    • Current PhD
    • Projects
    • Open Datasets & Libraries
    • Topics
  • Open Positions
    • open position – Assistant Professor with time contract (RTD-A)
    • open position – PostDoc researchers
    • Open position – Technologist
    • open position – PhD student
  • BigData@Polito Cluster
    • Computing Facilities
    • Request BigData@Polito Account
    • BigData@Polito Access Instructions
    • Run Jobs with Custom Packages
  • Private Area
Home » Publications » Formal verification of LTE-UMTS and LTE–LTE handover procedures

Formal verification of LTE-UMTS and LTE–LTE handover procedures

Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa (2017) Formal verification of LTE-UMTS and LTE–LTE handover procedures, In: COMPUTER STANDARDS & INTERFACES, pp. 92-106, ISSN: 0920-5489

Post navigation

  • Previous post How SMEs develop ICT-based capabilities in response to their environment: Past evidence and implications for the uptake of the new ICT paradigm
  • Back to post list
  • Next post An efficient data exchange mechanism for chained network functions

Collaborations

© 2020 SmartData@PoliTO – All rights reserved

Homepage - Privacy - Cookie Policy - Contacts

This site uses third-party cookies: by using the site, you consent to the use of cookies. For more information view the cookie policy.