复杂度削减论文

使用TLA对一个工业级安全协议的建模实现
论文摘要目前越来越多的安全临界系统被应用到我们的日常生活中,以至于安全工程也越来越受到关注。在这种情况下,国际电子技术协会颁布了国际功能安全标准《IEC61508》。这套功能安...