GENERAL TECHNIQUE FOR COMMUNICATIONS PROTOCOL VALIDATION

被引：60
作者：
WEST, CH
机构：
来源：
IBM JOURNAL OF RESEARCH AND DEVELOPMENT | 1978年 / 22卷 / 04期
关键词：
D O I：
10.1147/rd.224.0393
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：393 / 404
页数：12
相关论文
共 15 条
[1]  
BOCHMANN GV, 1976, 236 U MONTR DEP INF
[2]  
BOCHMANN GV, 1975, ACM OPERATING SYSTEM, V9, P45
[3]  
BOCHMANN GV, 1977, INFORMATION PROCESSI, P229
[4]  
DANTHINE AS, 1976, MAR PROF C COMP NETW
[5]   SYNCHRONOUS DATA LINK CONTROL - PERSPECTIVE [J].
DONNAN, RA ;
KERSEY, JR .
IBM SYSTEMS JOURNAL, 1974, 13 (02) :140-162
[6]  
LUCKHAM DC, 1977, IFIP INFORM PROC AUG, P783
[7]   METHODOLOGY FOR DESIGN AND IMPLEMENTATION OF COMMUNICATION PROTOCOLS [J].
MERLIN, PM .
IEEE TRANSACTIONS ON COMMUNICATIONS, 1976, 24 (06) :614-621
[8]  
MERLIN PM, 1976, JUN P INT COMM C PHI, P20
[9]  
SUNSHINE C, 1975, 105 STANF U DIG SYST
[10]  
SUNSHINE CA, 1976, 1976 TRENDS APPL COM
12