|
|||||
|
|
| 基于CFSM的协议形式化技术研究 | |
| 引用本文： | 李腊元.基于CFSM的协议形式化技术研究[J].计算机工程与科学,1998,20(3):6-12. |
| 作者姓名： | 李腊元 |
| 作者单位： | 武汉交通科技大学 |
| 摘 要： | 本文主要了基于通信有限状态机的协议形式化技术。 |
| 关 键 词： | 通信协议 形式化技术 CFSM 计算机网络 |
An Investigation of Formal Techniques ofProtocols Based on CFSM |
|
| Affiliation: | Wuhan Jiaotong University |
| Abstract: | |
| Keywords: | communication protocol formal techniques CFSM |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与科学》下载全文 | |