Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • Events
    • Thanks for the success of the 4th SmartData@PoliTO Workshop!
    • 4th Open SmartData@PoliTO Workshop
    • (INTERNAL MEMBERS ONLY) 4th SmartData@PoliTO Workshop
  • Seminars
    • Distance-based community search
    • Unconventional regularisation for efficient and sustainable machine learning
    • AI applications for Public Service Media: challenges and opportunities
  • Education
    • Alta Scuola Politecnica: Winter School 2019
    • PhD Course: Data Science for Networks
    • Courses for PhD students
  • 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
    • Thanks for the success of the 4th SmartData@PoliTO Workshop!
    • 4th Open SmartData@PoliTO Workshop
    • (INTERNAL MEMBERS ONLY) 4th SmartData@PoliTO Workshop
  • Seminars
    • Distance-based community search
    • Unconventional regularisation for efficient and sustainable machine learning
    • AI applications for Public Service Media: challenges and opportunities
  • Education
    • Alta Scuola Politecnica: Winter School 2019
    • PhD Course: Data Science for Networks
    • Courses for PhD students
  • 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