J4 ›› 1998, Vol. 20 ›› Issue (3): 6-12.
• 论文 • 上一篇 下一篇
李腊元
出版日期:
发布日期:
Online:
Published:
摘要：
本文主要了基于通信有限状态机的协议形式化技术。
关键词: 通信协议 形式化技术 CFSM 计算机网络
李腊元. 基于CFSM的协议形式化技术研究[J]. J4, 1998, 20(3): 6-12.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y1998/V20/I3/6
