Hengfei Yang, Bo Shen, Gaoyang Xu, Yonghua Chen. Modeling Method and Correctness Verification of Power Grid Safety and Stability Control Strategy System. In 22nd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2022 - Companion, Guangzhou, China, December 5-9, 2022. pages 569-575, IEEE, 2022. [doi]
Abstract is missing.