电气技术  2017, Vol. 18 Issue (8): 105-109    DOI:
技术与应用 |
电网调度自动化主备系统间模型校验研究
余平
国网安徽省电力公司池州市贵池区供电公司,安徽 池州 247000
Research on Model Checking of Main and Standby System in Power Grid Dispatching Automation
Yu Ping
State Grid Anhui Chizhou Guichi District Electric Power Company, Chizhou, Anhui 247000