Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International Workshop on Protocol Specification, Testing, and Verification

Author(s)

• IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification
• Yemini, Yechiam
• Strom, Robert
• Yemini, Shaula
• IFIP Working Group 6.1
• Columbia University

Bibliographic Information

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; edited by Yechiam Yemini, Robert Strom, and Shaula Yemini

North-Holland , Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co., 1985

• U.S.

Note

Includes bibliographies

Description and Table of Contents

Description

This book covers research in protocol theory and analysis, specification and formal models of protocols, protocol validation and verification, performance analysis of protocols, and protocol design implementation and testing. Main Features: 1. Broad coverage of the research in the area of computer communication protocols. 2. A combination of theoretical and experimental research on protocol modelling, design, analysis, synthesis, verification and testing. 3. A description of international research activities conducted by leading researchers in the field from over 13 countries.

by "Nielsen BookData"

• NCID: BA00008516
• ISBN:
  • 0444876766
• LCCN: 84024754
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam; New York,New York, N.Y., U.S.A.
• Pages/Volumes: xii, 720 p.
• Size: 23 cm
• Classification:
  • LCC : TK5105.5
  • DC19 : 001.64/404
• Subject Headings:
  • LCSH : Computer network protocols -- Congresses