形式化方法在电网信息物理系统中的应用

“国家期刊奖”获奖期刊
中文核心期刊
中国科学引文数据库(CSCD)核心期刊
《能源电力领域高质量科技期刊分级目录》收录期刊
《电气工程领域高质量科技期刊分级目录》收录期刊

中国科技核心期刊
RCCSE中国权威学术期刊(A+)
Scopus数据库收录
DOAJ数据库收录
乌利希国际期刊指南收录

黄莉, 梁云, 黄辉, 赵若涵

Application of Formal Methods in Power Grid Cyber Physical Systems

HUANG Li, LIANG Yun, HUANG Hui, ZHAO Ruohan

中国电力 . 2021, (3): 31 -37 . DOI: 10.11930/j.issn.1004-9649.202007008