Cover Image

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 /

Bibliographic Details
Corporate Authors:	IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification Idyllwild, Calif., University of Southern California. Information Sciences Institute
Other Authors:	Sunshine, Carl A.
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam ; New York : North-Holland Pub. Co. ; 1982.
Subjects:	Computer network protocols > Congresses.

Similar Items

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, 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, 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)

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

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

Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993 /
Published: (1994)

Algebraic specification of communication protocols /
Published: (1993)

Protocols for high-speed networks VI : IFIP TC6 WG6.1 & WG6.4/IEEE ComSoc TC on Gigabit Networking Sixth International Workshop on Protocols for High Speed Networks (PfHSN'99) August 25-27, 1999, Salem, Massachusetts, USA /
Published: (2000)

Protocol test systems : proceedings of the IFIP TC6 Second International Workshop on Protocol Test Systems, organized by GMD-FOKUS and IBM-ENC, Berlin, F.R.G., 3-6 October 1989 /
Published: (1990)

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

Protocols for high-speed networks : selected and revised papers from the IFIP WG 6.1/WG 6.4 International Workshop on Protocols for High-Speed Networks, Zurich, Switzerland, 9-11 May, 1989 /
Published: (1989)

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)

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

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

Protocol conformance testing using unique input/output sequences /
Published: (1997)

On the detectability of test sequences for protocol verification and validation /
by: Feng, Chao
Published: (1992)

IPv6 core protocols implementation /
by: Li, Qing, 1971-
Published: (2007)

IPv6 advanced protocols implementation /
by: Li, Qing, 1971-
Published: (2007)

Formal methods for communication protocol specification and verification /
by: Sunshine, Carl A.
Published: (1979)

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

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

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

Network protocols /
by: Naugle, Matthew G.
Published: (1999)

Conformance testing methodologies and architectures for OSI protocols /
Published: (1994)

Wireless application protocol programming /
by: Rashid, Hamad, 1974-
Published: (2002)

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

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

Network protocol handbook /
by: Naugle, Matthew G.
Published: (1994)

Data link protocols /
by: Black, Uyless D.
Published: (1993)

Upper layer protocols, architectures, and applications : proceedings of the IFIP TC6/WG6.5 International Conference on Upper Layer Protocols, Architectures, and Applications, Barcelona, Spain, 1-3 June, 1994 /
Published: (1994)

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

OSI protocol conformance testing : IS 9646 explained /
by: Knightson, K. G.
Published: (1993)

Protocol management in computer networking /
by: Byrnes, Philippe
Published: (2000)

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

Advanced transport protocols : designing the next generation /
by: Exposito Garcia, Ernesto José
Published: (2013)

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

Kermit, a file transfer protocol /
by: Da Cruz, Frank, 1944-
Published: (1987)

Protocols for high speed networks : 7th IFIP/IEEE international workshop, PfHSN 2002, Berlin, Germany, April 22-24, 2002 : proceedings /
Published: (2002)