形式化校验相关论文
目前我国智能配电网自愈需要在大范围的分布式控制系统操纵下实现优化,在这种基础下,形式化校验技术能够在目前智能配电网系统中实......
智能配电网自愈需要大量广域分布式控制系统,形式化校验技术可以在这些系统的控制逻辑与协议验证中发挥重要作用。文中介绍了形式......
