Books on the topic 'Computer network protocols – Testing'

Tarnay, Katie. Protocol specification and testing. New York: Plenum Press, 1991.

Diwakar, T. N. Implementation of hierarchical conformance testing platform for LAPB. Bangalore: Dept. of Electrical Communication Engineering, Indian Institute of Science, 1996.

IFIP, WG 6. 1. International Workshop on Protocol Specification Testing and Verification (4th 1984 Skytop Lodge Pa ). Protocol specification, testing, and verification, IV: Proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification. Amsterdam: North-Holland, 1985.

IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (5th 1985 Toulouse, France and Moissac, Tarn-et-Garonne, France). Protocol specification, testing, and verification, V: Proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification. Amsterdam: North-Holland, 1986.

IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (6th 1986 Montréal, Québec). Protocol specification, testing, and verification, VI: Proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification. Amsterdam: North-Holland, 1987.

IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (7th 1987 Zurich, Switzerland). Protocol specification, testing, and verification, VII: Proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification. Amsterdam: North-Holland, 1987.

IFIP WG6.1 International Workshop on Protocol Specification, Testing and Verification (5th 1985 Toulouse-Moissac). 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. Amsterdam: North-Holland, 1986.

IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (6th Montreal, Quebec 1986). Protocol specification, testing and verification, VI: Proceedings of the IFIP WG6.1 sixth International Workshop on Protocol Specification Testing, and Verification organized by Concordia University and Université de Montréal Montreal, Quebec, Canada, June 10-13, 1986. Amsterdam: North-Holland, 1987.

IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification (15th 1995 Warsaw, Poland). Protocol specification, testing and verification XV: Proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995. London: Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1996.

Hegde, Malati. An experience in using UIO sequences and rural Chinese postman tours for conformance testing of a Q.931 implementation. Bangalore: Dept. of Electrical Communication Engineering, Indian Institute of Science, 1992.

Wilhelm, Stoll. Test von OSI-Protokollen. Berlin: Springer, 1989.

1957-, Jonsson Bengt, Parrow Joachim 1956-, and Pehrson Björn 1944-, eds. Protocol specification, testing, and verification, XI: Proceedings of the IFIP WG 6.1, eleventh International Symposium on Protocol Specification, Testing, and Verification, Stockholm, Sweden, 18-20 June, 1991. Amsterdam: North-Holland, 1991.

IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification. (13th 1993 Liège, Belgium). Protocol specification, testing and verification, XIII: Proceedings of the IFIP TC6/WG6.1. thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993. Amsterdam: North-Holland, 1993.

IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (8th 1988 Atlantic City, N.J.). Protocol specification, testing, and verification, VIII: Proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988. Amsterdam: North-Holland, 1988.

IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification. (12th 1992 Lake Buena Vista, Fla.). Protocol specification, testing and verification, XII: Proceedings of the IFIP TC6/WG6.1. twel[f]th International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992. Amsterdam: North-Holland, 1992.

Knightson, K. G. OSI protocol conformance testing: IS 9646 explained. New York: McGraw-Hill, 1993.

1944-, Davidson Ian, Litwack David M, International Federation for Information Processing. Technical Committee 6., and Corporation for Open Systems International., eds. Protocol test systems, III: Proceedings of the IFIP TC6 Third International Workshop on Protocol Test Systems. Amsterdam: North-Holland, 1991.

IFIP TC6/WG6.1 International Workshop on Protocol Test Systems (6th 1993 Pau, France). Protocol test systems, VI: Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993. Amsterdam: North-Holland, 1994.

de, Meer Jan, Mackert Lothar, Effelsberg Wolfgang, and International Federation for Information Processing. Technical Committee., eds. Protocol test systems: Proceedings of the IFIP TC 6 Second International Workshop on Protocol Test Systems, organized by GMD-FOKUS and IBM-ENC, Berlin, F.R.G., 3-6 October 1989. Amsterdam: North-Holland, 1990.

IFIP TC6/WG6.1 International Workshop on Protocol Test Systems (5th 1992 Montréal, Québec). Protocol test systems, V: Proceedings of the IFIP TC6/WG6.1 Fifth Working Conference on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992. Amsterdam: North-Holland, 1993.

Jan, Kroon, Heijink Rudolf J, Brinksma Ed, and International Federation for Information Processing. Technical Committee., eds. Protocol test systems: Proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems, organized by PTT Research, Leidschendam, The Netherlands, 15-17 October, 1991. Amsterdam: North-Holland, 1992.

IFIP, WG 6. 1. International Workshop on Protocol Specification Testing and Verification (10th 1990 Ottawa Canada)). 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. Amsterdam: North-Holland, 1990.

IFIP, WG 6. 1. International Workshop on Protocol Specification Testing and Verification (9th 1989 Enschede Pays-Bas). 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. Amsterdam: North-Holland, 1990.

IFIP TC 6/WG 6.1 International Symposium on Protocol Specification, Testing and Verification (13th 1993 Liège, Belgium). Protocol specification, testing and verification, XIII: Proceedings of the IFIP TC6/WG6.1. thirteenth International Symposium on Protocol Specification, Testing and Verification, Liége, Belgium, 25-28 May, 1993. Amsterdam: North-Holland, 1993.

Hegde, Malati. An experience in conformance testing of an X.25 implementation. Bangalore: Dept. of Electrical Communication Engineering, Indian Institute of Science, 1994.

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification (1998 Paris, France). 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. Boston: Kluwer Academic Publishers, 1998.

IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (4th 1984 Skytop Lodge, Pa.). 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. Amsterdam: North-Holland, 1985.

Tadanori, Mizuno, International Federation for Information Processing., and IFIP TC 6/WG 6.1 International Conference on Protocol Specification, Testing and Verification (17th : 1997 : Osaka, Japan), eds. 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. London: Chapman & Hall, 1997.

Bhatnagar, P. K. Engineering networks for synchronization, CCS 7, and ISDN: Standards, protocols, planning, and testing. New York: Institute of Electrical and Electronics Engineers, Inc., 1997.

Profesor, Núñez Manuel, EPEW (Workshop) (1st : 2004 : Toledo, Spain), and ITM (Conference) (1st : 2004 : Toledo, Spain), eds. Applying formal methods: Testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings. Berlin: Springer, 2004.

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China). Formal methods for protocol engineering and distributed systems: FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China. Boston: Kluwer Academic, 1999.

Ana, Cavalli, and Najm Elie, eds. 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. Boston, MA: Springer US, 1998.

Ana, Cavalli, and Najm Elie, eds. 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. Boston, MA: Springer US, 1998.

Engineers, Institute Of Electrical and Electronics. IEEE standard for information technology: Protocols for distributed interactive simulaton applications, entity information and interaction. New York, NY, USA: Institute of Electrical and Electronics Engineers, 1993.

Reinhard, Gotzhein, Bredereke Jan, International Federation for Information Processing., and IFIP WG 6.1 International Symposium on Protocol Specification, Testing and Verification (16th : 1996 : Kaiserslautern, Germany), eds. Formal description techniques, IX: Theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996. London: published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996.

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China). Formal methods for protocol engineering and distributed systems: FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China. Boston: Kluwer Academic, 1999.

Network protocols. Hauppauge, N.Y: Nova Science Publishers, 2012.

G, Naugle Matthew, ed. Network protocols. New York: McGraw-Hill, 1999.

Marsden, Brian W. Communication network protocols. 2nd ed. Bromley, Kent, England: Chartwell-Bratt, 1986.

Marsden, Brian W. Communication network protocols. [Bromley]: Chartwell-Bratt, 1985.

Sunshine, Carl A., ed. Computer Network Architectures and Protocols. Boston, MA: Springer US, 1989. http://dx.doi.org/10.1007/978-1-4613-0809-6.

Communication network protocols: OSI explained. 3rd ed. Bromley, Kent: Chartwell-Bratt, 1991.

Spiropoulos, George. Computer network protocols and protocol proving. Birmingham: University of Birmingham, 1988.

Black, Uyless. Data link protocols. Englewood Cliffs, N.J: PTR Prentice Hall, 1993.

Data link protocols. Englewood Cliffs, N.J: PTR Prentice Hall, 1993.

1971-, Jinmei Tatuya, and Shima Keiichi 1970-, eds. IPv6 advanced protocols implementation. Boston: Morgan Kaufmann Publishers, 2007.

Hartpence, Bruce. Packet guide to core network protocols. Sebastopol, Calif: O'Reilly Media, 2011.

Hartpence, Bruce. Packet guide to core network protocols. Sebastopol, Calif: O'Reilly Media, 2011.

Sholomon, Andy. Enterprise network testing. Indianapolis, IN: Cisco Press, 2011.

IP switching: Protocols and architectures. New York: McGraw-Hill, 1999.