|
[NUHF18]
Syed Atif Naseem, Riaz Uddin, Osman Hasan and Diaa E. Fawzy.
Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid.
Journal of Applied Logics.
2018.
[Analyses the reliability of smart grid communication networks using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|