|
|||||
|
|
| ISO/OSI运输层协议的形式描述 | |
| 引用本文： | 孙瑞志.ISO/OSI运输层协议的形式描述[J].烟台大学学报(自然科学与工程版),1997(1). |
| 作者姓名： | 孙瑞志 |
| 作者单位： | 烟台大学计算机科学与工程系 |
| 摘 要： | 通信协议的形式描述是协议实现、正确性验证和一致性测试的基础．本文用一种混合式模型对ＩＳＯ／ＯＳＩ的运输层协议进行了形式描述，为协议的实现打下基础 |
| 关 键 词： | 通信协议 形式描述 网络 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |