Browsing by Author Uddin, Riaz

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2018Probabilistic formal verification of communication network-based fault detection, isolation and service restoration system in smart gridNaseem, Syed Atif; Uddin, Riaz; Hasan, Osman; Fawzy, Diaa E.