Skip to content
Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • News
  • Events
    • Reading (&) Machine: evento di presentazione
    • 8th SmartData@PoliTO Workshop – Present and Future Directions
    • DATI, AI E ROBOTICA @POLITO
  • Workshops
    • Seminars
      • Accelerated Deep Learning via Efficient, Compressed and Managed Communication
      • Toposes as ‘bridges’ for mathematics and artificial intelligence
      • Be Aware! Keep Calm and read your privacy policies
    • 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
    • Reading (&) Machine: evento di presentazione
    • 8th SmartData@PoliTO Workshop – Present and Future Directions
    • DATI, AI E ROBOTICA @POLITO
  • Workshops
    • Seminars
      • Accelerated Deep Learning via Efficient, Compressed and Managed Communication
      • Toposes as ‘bridges’ for mathematics and artificial intelligence
      • Be Aware! Keep Calm and read your privacy policies
    • 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

 

© 2022 SmartData@PoliTO – All rights reserved

Homepage - Privacy - Cookie Policy - Contacts