10.3969/j.issn.1003-3254.2014.11.041
火灾报警系统数据输出协议的形式化分析
火灾自动报警系统数据输出通信协议的理解和实现直接影响到通讯双方的兼容性。本文结合协议的应用环境和功能需求,利用形式化分析方法对协议进行剖析,给出协议的Petri网模型,将标准中隐含的、影响兼容性的要求明确化,探讨该协议的网络化应用应该注意的问题。
消防、火灾自动报警、通信协议、形式化分析
TP3;TN9
国家“十二五”科技支撑计划2012BAK21B03
2014-12-12(万方平台首次上网日期,不代表论文的发表时间)
共6页
218-223