Formal Analysis for Dependable Supervisory Control and Data Acquisition in Smart Grids.

Mohammad Ashiqur Rahman, A. H. M. Jakaria, Ehab Al-Shaer

Browse the full DSN paper archive.