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 /

Corporate Authors:	USC/ISI, IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification
Other Authors:	Sunshine, Carl
Format:	Book
Published:	Amsterdam: North-Holland Pub. Co., 1982
Subjects:	Computer network protocols

Similar Items

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

Protocol specification, testing, and verification, XIII: proceedings of the IFIP TC6/WG6.1, thirteenth International Symposium on Protocol Specification, Testing, and Verification, Liege, Belgium, 25-28 May, 1993/
Published: (1993)

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, 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, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification : Ottawa, Ontario, Canada, 12-15 June, 1990 /
Published: (1990)

Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 Fourth International Workshop on Protocol Specification, Testing, and Verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984 /
Published: (1985)

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

Protocol test systems, V= Protocol test systems 5= Protocol test systems five : proceedings of the IFIP TC6/WG6.1 FifthWorking Conference on Protocol Test Systems, Montreal, Quebec, Canada,28-30 September, 1992 0444899804/
Published: (1993)

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)

Protocols for high-speed networks, III : proceedings of the IFIP WG6.1/WG6.4 Third International Workshop on Protocols for High-Speed Networks, Stockholm, Sweden, 13-15 May, 1992 /
Published: (1993)

SDL with applications from protocol specification/
by: Belina, Ferenc
Published: (1991)

Protocols for high-speed networks, II : proceedings of the IFIP WG 6.1/WG 6.4 Second International Workshop on Protocols for High-Speed Networks, Palo Alto, CA, U.S.A., 27-29 November 1990 /
Published: (1991)

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

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)

Protocols for high-speed networks, III: proceedings of the IFIPWG6.1/WG6.4 Third International Workshop on Protocols for High-SpeedNetworks, Stockholm, Sweden, 13-15 May, 1992/
Published: (1993)

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

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

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

The wireless application protocol (WAP) : a Wiley tech brief /
by: Mann, Steve, 1950-
Published: (2000)

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

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

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

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

Protocol for wireless localization systems: communications protocol for RF based wireless indoor localization networks/
by: Kasza, Tamas
Published: (2010)

Internet core protocols : the definitive guide /
by: Hall, Eric A.
Published: (2000)

Algorithms and protocols for wireless sensor networks /
Published: (2009)

Algorithms and protocols for wireless sensor networks /
Published: (2009)

Cisco IOS :solutions for network protocols /
Published: (1998)

Advanced Internet protocols, services, and applications
by: Oki, Eiji, 1969-
Published: (2012)

Evaluation of routing protocols for opportunistic networks with multiple-criteria decision-making methods /
by: Ακεστορίδης, Δημήτριος-Γεώργιος.
Published: (2016)

The Internet and its protocols : a comparative approach /
by: Farrel, Adrian
Published: (2004)

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

Communication protocol engineering /
by: Popović, Miroslav, 1961-
Published: (2006)

Computer network architectures and protocols/
Published: (1982)

TCP/IP protocol suite /
by: Forouzan, Behrouz A.
Published: (2006)

TCP/IP protocol suite /
by: Forouzan, Behrouz A
Published: (2007)

IPv6 : theory, protocol, and practice /
by: Loshin, Peter.
Published: (2004)

Transport protocols for Department of Defense data networks : report to the Department of Defense and the National Bureau of Standards /
Published: (1985)

Tutorial :computer communications :architectures, protocols, and standards /
Published: (1987)

Java 2 network protocols black book
by: Williams, Al, 1963-
Published: (2001)

Cannot write session to /tmp/vufind_sessions/sess_28ptqnp7nig667osmtjn522ca6