Application of Formal Methods in Power Grid Cyber Physical Systems
HUANG Li, LIANG Yun, HUANG Hui, ZHAO Ruohan
Electric Power . 2021, (3): 31 -37 .  DOI: 10.11930/j.issn.1004-9649.202007008