Browsing by Author Hasan, Osman
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2018 | Probabilistic formal verification of communication network-based fault detection, isolation and service restoration system in smart grid | Naseem, Syed Atif; Uddin, Riaz; Hasan, Osman; Fawzy, Diaa E. |