AN IMPLEMENTATION OF AN AUTOMATED PROTOCOL SYNTHESIZER (APS) AND ITS APPLICATION TO THE X.21 PROTOCOL

被引:18
作者
RAMAMOORTHY, CV
DONG, ST
USUDA, Y
机构
[1] UNIV CALIF BERKELEY,ELECTR RES LAB,BERKELEY,CA 94720
[2] IBM CORP,TELECOMMUN PROD ORG,PALO ALTO,CA 94304
[3] HITACHI SOFTWARE ENGN CO LTD,YOKOHAMA,JAPAN
关键词
D O I
10.1109/TSE.1985.232547
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:886 / 908
页数:23
相关论文
共 26 条
[1]  
BOCHMANN GV, 1978, COMPUT NETWORKS, V2
[2]  
DANTHINE AS, 1980, IEEE T COMMUN, V28
[3]  
DONG ST, 1983, THESIS U CALIFORNIA
[4]  
HACK M, 1976, MIT161 LAB COMP SCI
[5]  
MANNA Z, 1978, 3RD P INT C SOFTW EN
[6]  
MARTIN J, 1981, COMPUTER NETWORKS DI
[7]  
MERLIN PM, 1980, PUB U MONTREAL, V352
[8]  
MERLIN PM, 1979, IEEE T COMMUN, V27
[9]  
Mills H.D., 1971, DEBUGGING TECHNIQUES
[10]  
MURATA T, 1984, HDB SOFTWARE ENG