PROTOCOL VALIDATION BY MAXIMAL PROGRESS STATE EXPLORATION

被引：29

作者：

GOUDA, MG

YU, YT

机构：

来源：

关键词：

D O I：

10.1109/TCOM.1984.1095950

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：94 / 97

页数：4

共 11 条

[1] ON COMMUNICATING FINITE-STATE MACHINES [J].

BRAND, D ;

ZAFIROPULO, P .

[2]

GOUDA MG, 1982, 211 U TEX AUST DEP C

[3]

GOUDA MG, 1983, P ACM SIGCOMM, P68

[4]

RUBIN J, 1982, COMPUT NETWORKS, V6

[5]

SUNSHINE CA, 1981, USC8189 INF SCI I RE

[6]

VONBOCHMANN G, 1978, COMPUT NETWORKS, V2, P361

WEST, CH ;

ZAFIROPULO, P .

[8] AUTOMATED TECHNIQUE OF COMMUNICATIONS PROTOCOL VALIDATION [J].

WEST, CH .

YU, YT ;

GOUDA, MG .

[10]

YU YT, 1983, THESIS U TEXAS AUSTI