|
|||||
|
|
| ISO/OSI运输层协议的形式描述 | |
| 引用本文： | 孙瑞志. ISO/OSI运输层协议的形式描述[J]. 烟台大学学报(自然科学与工程版), 1997, 0(1) |
| 作者姓名： | 孙瑞志 |
| 作者单位： | 烟台大学计算机科学与工程系 |
| 摘 要： | 通信协议的形式描述是协议实现、正确性验证和一致性测试的基础．本文用一种混合式模型对ＩＳＯ／ＯＳＩ的运输层协议进行了形式描述，为协议的实现打下基础 |
| 关 键 词： | 通信协议 形式描述 网络 |
Formal Description of ISO/OSI Transport Layer |
|
| Sun Ruizhi. Formal Description of ISO/OSI Transport Layer[J]. Journal of Yantai University(Natural Science and Engineering edirion), 1997, 0(1) | |
| Authors: | Sun Ruizhi |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ | |