[IEEE 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Toulouse, France (2016.6.28-2016.7.1)] 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Formal Analysis for Dependable Supervisory Control and Data Acquisition in Smart Grids
Rahman, Mohammad Ashiqur, Jakaria, A. H. M., Al-Shaer, EhabYear:
2016
Language:
english
DOI:
10.1109/DSN.2016.32
File:
PDF, 743 KB
english, 2016