![](/img/cover-not-exists.png)
[IEEE 2020 16th IEEE International Conference on Factory Communication Systems (WFCS) - Porto, Portugal (2020.4.27-2020.4.29)] 2020 16th IEEE International Conference on Factory Communication Systems (WFCS) - Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems
Sacco, Alessio, Marchetto, Guido, Sisto, Riccardo, Valenza, FulvioYear:
2020
DOI:
10.1109/wfcs47810.2020.9114432
File:
PDF, 265 KB
2020