Cover Image

Formal methods for communication protocol specification and verification /

Bibliographic Details
Main Author:	Sunshine, Carl A.
Corporate Authors:	Rand Corporation, United States. National Bureau of Standards, United States. Defense Advanced Research Projects Agency
Format:	Book
Language:	English
Published:	Santa Monica, Calif. : Rand, [1979]
Series:	Rand note ; N-1429-ARPA/NBS.
Subjects:	Computer networks.

Similar Items

Communication protocol specification and verification /
by: Lai, Richard, Ph. D.
Published: (1998)

Communication Protocol Specification and Verification /
by: Lai, Richard
Published: (1998)

Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 Fourth International Workshop on Protocol Specification, Testing, and Verification /
Published: (1985)

Protocol specification, testing, and verification, VI : proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification /
Published: (1987)

Protocol specification, testing and verification XIV /
Published: (1995)

Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI, Idyllwild, California, U.S.A., 17-20 May 1982 /
Published: (1982)

Algebraic specification of communication protocols /
Published: (1993)

Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Ruschlikon, Switzerland, 31 May-2 June, 1983 /
Published: (1983)

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, the Netherlands, 6-9 June, 1989 /
Published: (1990)

Protocol specification and testing /
by: Tarnay, Katie, 1933-
Published: (1991)

Verification of communication protocols in web services : model-checking service compositions /
by: Tari, Zahir
Published: (2014)

Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985 /
Published: (1986)

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France /
by: Budkowski, Stan
Published: (1998)

Formal correctness of security protocols /
by: Bella, Giampaolo
Published: (2007)

Introducing communications protocols /
Published: (1978)

Communication network protocols /
by: Marsden, Brian W.
Published: (1985)

Design and analysis of security protocol for communication /
Published: (2020)

Survey of communication protocol verification techniques /
by: Sunshine, Carl A.
Published: (1976)

Formal description techniques and protocol specification, testing and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan /
Published: (1997)

Standards and protocols for communications networks /
by: Conard, James W.
Published: (1983)

LAN protocol handbook /
by: Miller, Mark, 1955-
Published: (1990)

Data communications and networking with TCP/IP protocol suite /
by: Forouzan, Behrouz A.
Published: (2022)

Protocol : how control exists after decentralization /
by: Galloway, Alexander R., 1974-
Published: (2004)

Protocol : how control exists after decentralization /
by: Galloway, Alexander R., 1974-
Published: (2004)

Protocols and techniques for data communication networks /
Published: (1981)

Elements of network protocol design /
by: Gouda, Mohamed G., 1947-
Published: (1998)

Formal methods of program verification and specification /
Published: (1982)

Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings /
Published: (1990)

Computer network architectures and protocols /
Published: (1989)

Protocol design for local and metropolitan area networks /
by: Gburzyński, Paweł
Published: (1995)

Multicast communication : protocols and applications /
by: Wittmann, Ralph
Published: (2001)

Computer networks and their protocols /
Published: (1979)

Design and validation of computer protocols /
by: Holzmann, Gerard J.
Published: (1991)

Architecture and protocols for high-speed networks /
Published: (1994)

Storage networking protocol fundamentals /
by: Long, James
Published: (2006)

Troubleshooting IP routing protocols /
Published: (2002)

TCP/IP and related protocols /
by: Black, Uyless D.
Published: (1995)

TCP/IP and related protocols /
by: Black, Uyless D.
Published: (1998)

Understanding token ring protocols and standards /
Published: (1998)

Protocols for high speed networks IV /
Published: (1995)