Syed Atif Naseem

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Formal Verification

Advanced Metering Infrastructure

Fault Detection

Top Venues

Publications

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) (2018)