Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid

Syed Atif Naseem, Riaz Uddin, Osman Hasan, Diaa E. Fawzy. Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid. FLAP, 5(1):319-366, 2018. [doi]

Abstract

Abstract is missing.