计算机通信协议辅助设计工具的实现

作     者：党华锐 

作者机构：西北大学计算机科学系 

基　　金：陕西省科委基金 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：1991年第14卷第7期

页      码：553-556页

摘      要：1.引言 协议是计算机系统中两个要通信的实体必须共同遵守的一套约定,随着计算机网络和分布式系统的发展,协议的设计变得越来越复杂,所以,近年来有许多人从事这方面的研究,试图将一些形式化的方法引入协议设计的各个阶段。

主 题 词：计算机通信 通信协议 辅助工具 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203102774...