基于形式化描述机制的检修安措策略研究与应用 - 耿少博; 赵春雷; 高翔; 冯俊国; 孙利强 (电力系统保护与控制, 2018)
Keywords: SCD模型; 智能变电站; 形式化描述; 安措; 继电保护