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

> Research article (2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2016) · cited 24× · AI/ML

**Wikidata**: [openalex:W2529603468](https://www.wikidata.org/wiki/openalex:W2529603468)  
**Source**: https://4ort.xyz/entity/formal-analysis-for-dependable-supervisory-control-and-data-acquisition-in-smart-grids