Skip to content
Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • News
  • Events
    • HPC4AI – Intelligenza Artificiale e Big Data: opportunità e servizi al Politecnico
    • 6th SmartData@Polito Workshop
    • Computing@PoliTO Workshop
  • Workshops
    • Seminars
      • Is Natural Language Processing the Holy Grail of Artificial Intelligence?
      • Uncertainty damping in the macroscopic forecast of vehicular traffic flow
      • Information Exposure for Consumer IoT Devices: A Multidimensional, Network-Informed Measurement Approach
    • SmartTalks
  • Education
    • Courses for PhD students
    • PhD Course: Topological Data Analysis
    • PhD Course: Data Science for Networks
    • Corporate training on Digital Transformation
  • Research
    • Publications
    • Current PhD
    • Projects
    • Open Datasets & Libraries
    • Topics
  • Open Positions
    • open position – PhD student
    • open position – Assistant Professor with time contract (RTD-A)
    • open position – PostDoc researchers
    • Open position – Technologist
  • BigData 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
  • News
  • Events
    • HPC4AI – Intelligenza Artificiale e Big Data: opportunità e servizi al Politecnico
    • 6th SmartData@Polito Workshop
    • Computing@PoliTO Workshop
  • Workshops
    • Seminars
      • Is Natural Language Processing the Holy Grail of Artificial Intelligence?
      • Uncertainty damping in the macroscopic forecast of vehicular traffic flow
      • Information Exposure for Consumer IoT Devices: A Multidimensional, Network-Informed Measurement Approach
    • SmartTalks
  • Education
    • Courses for PhD students
    • PhD Course: Topological Data Analysis
    • PhD Course: Data Science for Networks
    • Corporate training on Digital Transformation
  • Research
    • Publications
    • Current PhD
    • Projects
    • Open Datasets & Libraries
    • Topics
  • Open Positions
    • open position – PhD student
    • open position – Assistant Professor with time contract (RTD-A)
    • open position – PostDoc researchers
    • Open position – Technologist
  • BigData Cluster
    • Computing Facilities
    • Request BigData@Polito Account
    • BigData@Polito Access Instructions
    • Run Jobs with Custom Packages
  • Private Area
Home » Publications » Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems

Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems

Alessio Sacco, Guido Marchetto, Riccardo Sisto, Fulvio Valenza (2020) Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems, In: 2020 16th IEEE International Conference on Factory Communication Systems (WFCS), pp. 1-4

Post navigation

  • Previous post Predicting Car Availability in Free Floating Car Sharing Systems: Leveraging Machine Learning in Challenging Contexts
  • Back to post list
  • Next post Impact of Power-to-Gas on distribution systems with large renewable energy penetration

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.