|
|||||
|
|
| 利用CCS的协议描述与验证技术的研究 | |
| 引用本文： | 龚正虎. 利用CCS的协议描述与验证技术的研究[J]. 计算机研究与发展, 1995, 32(3): 61-65 |
| 作者姓名： | 龚正虎 |
| 作者单位： | 长沙工学院 |
| 摘 要： | 本文讨论的ＣＣＳ在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ＣＣＳ在协议描述、协议验证等方面有巨大应用潜力。 |
| 关 键 词： | 协议工程 协议描述 协议验证 通讯系统演算 |
On the Application of CCS to Protocol Descriptions and Protocol Verifications |
|
| Gong Zhenghu. On the Application of CCS to Protocol Descriptions and Protocol Verifications[J]. Journal of Computer Research and Development, 1995, 32(3): 61-65 | |
| Authors: | Gong Zhenghu |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ | |