中国电力2021，Vol.54Issue(3)：31-37,7.DOI:10.11930/j.issn.1004-9649.202007008
形式化方法在电网信息物理系统中的应用
Application of Formal Methods in Power Grid Cyber Physical Systems
摘要
关键词
电网信息物理系统/形式化方法/资源约束/信息交互/模型检验引用本文复制引用
黄莉,梁云,黄辉,赵若涵..形式化方法在电网信息物理系统中的应用[J].中国电力,2021,54(3):31-37,7.基金项目
国家重点研发计划资助项目(电网信息物理系统分析与控制的基础理论与方法,2017YFB0903000). （电网信息物理系统分析与控制的基础理论与方法,2017YFB0903000）
