Alessio Sacco, Guido Marchetto, Riccardo Sisto, Fulvio Valenza. Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems. In 16th IEEE International Conference on Factory Communication Systems, WFCS 2020, Porto, Portugal, April 27-29, 2020. pages 1-4, IEEE, 2020. [doi]
Abstract is missing.