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

Alessio Sacco, Guido Marchetto, Riccardo Sisto, Fulvio Valenza

Browse the full WFCS paper archive.