AUTOMATED PROTOCOL IMPLEMENTATION WITH RTAG

被引：13

作者：

ANDERSON, DP

机构：

[1] Univ of California, Berkeley, CA,, USA, Univ of California, Berkeley, CA, USA

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1988年 / 14卷 / 03期

关键词：

Manuscript received February 15; 1987; revised October 1; 1987. This work was supported by the IBM Corporation and by the National Science Foundation under Grant DCR-8619302. The author is with the Department of Electrical Engineering and Computer Science; Computer Science Division; University of California; Berk-; ley; CA 94720. IEEE Log Number 87 18690. WNIX is a registered trademark of AT&T Bell Laboratories;

D O I：

10.1109/32.4650

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：291 / 300

页数：10

共 24 条

[1]

ANDERSON DP, 1985, THESIS U WISCONSIN M

[2] A FORMAL SPECIFICATION TECHNIQUE AND IMPLEMENTATION METHOD FOR PROTOCOLS [J].

BLUMER, TP ;

TENNEY, RL .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1982, 6 (03) :201-217

[3]

BRIAND JP, 1986, AUG SIGCOMM 86 S STO

[4]

BRINKSMA E, 1985, 5TH P IFIP S PROT SP

[5]

CLARK D, 1983, RFC817 SRI NETW INF

[6]

HOLTZMANN G, 1982, 39 DELFT U TECHN REP

[7]

JOHNSON GF, 1985, 12TH P ACM S PRINC P, P141

[8]

JOHNSON SC, 1979, UNIX PROGRAMMERS M B, V2

[9]

Kernighan B. W, 1978, C PROGRAMMING LANGUA

[10]

Knuth D. E., 1968, Mathematical Systems Theory, V2, P127, DOI 10.1007/BF01692511

← 1 2 3 →