形式化校验相关硕士博士期刊学术论文 - 信丰网

形式化校验相关论文

形式化校验技术在智能配电网自愈中的应用

智能配电网自愈需要大量广域分布式控制系统,形式化校验技术可以在这些系统的控制逻辑与协议验证中发挥重要作用。文中介绍了形式......

期刊

智能配电网自愈形式化校验

可重配置硬件系统调度算法的模拟与分析

可编程逻辑门阵列FPGA器件已成为嵌入式系统设计领域关注的热点,同时一些计算密集型任务可以在FPGA上灵活的实现并执行。硬件任务......

学位

FPGA 实时系统可调度性分析模拟形式化校验模型检测

看过本文同时还关注