Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • Events
    • 5th SmartData@PoliTO Workshop (Internal Only)
    • Thanks for the success of the 4th SmartData@PoliTO Workshop!
    • 4th Open SmartData@PoliTO Workshop
  • Seminars
    • Issues in Spatial Databases and Geographic Information Systems (GIS)
    • Does big data mean big knowledge?
    • A new approach to machine learning via group equivariant non-expansive operators and topological data analysis
  • Education
    • PhD Course: Introduction to Random Matrices – Theory and Practice
    • Alta Scuola Politecnica: Winter School 2019
    • PhD Course: Data Science for Networks
  • Research
    • Publications
    • Current PhD
    • Projects
    • Open Datasets & Libraries
    • Topics
    • Computing Facilities
    • Cluster Access Instructions
  • Open Positions
    • open position – Assistant Professor with time contract (RTD-A)
    • open position – PostDoc researchers
    • open position – PhD student
  • Private Area
  • Search
Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • Events
    • 5th SmartData@PoliTO Workshop (Internal Only)
    • Thanks for the success of the 4th SmartData@PoliTO Workshop!
    • 4th Open SmartData@PoliTO Workshop
  • Seminars
    • Issues in Spatial Databases and Geographic Information Systems (GIS)
    • Does big data mean big knowledge?
    • A new approach to machine learning via group equivariant non-expansive operators and topological data analysis
  • Education
    • PhD Course: Introduction to Random Matrices – Theory and Practice
    • Alta Scuola Politecnica: Winter School 2019
    • PhD Course: Data Science for Networks
  • Research
    • Publications
    • Current PhD
    • Projects
    • Open Datasets & Libraries
    • Topics
    • Computing Facilities
    • Cluster Access Instructions
  • Open Positions
    • open position – Assistant Professor with time contract (RTD-A)
    • open position – PostDoc researchers
    • open position – PhD student
  • Private Area
Home » Publications » Formal verification of LTE-UMTS and LTE–LTE handover procedures

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

Riccardo Sisto (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

© 2019 SmartData@PoliTO – All rights reserved

Powered by  – Designed with the Customizr theme