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

Author(s)

• IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification
• Dembiński, Piotr
• Średniawa, Marek
• International Federation of Information Processing

Bibliographic Information

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

edited by Piotr Dembiński and Marek Średniawa

Chapman & Hall on behalf of the International Federation for Information Processing, 1996

Description and Table of Contents

Description

This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.

Table of Contents

Preface. Committee members and invited speakers. List of referees. Specification and verification: time-dependent analysis. Invited paper. Specification of concurrent systems. Testing. Specification and verification: temporal approach. Validation and testing. Specification and analysis. Verification: model checking. Invited paper. High speed/multimedia. Towards implementation. Index of contributors. Keyword index.

by "Nielsen BookData"

• NCID: BA27067979
• ISBN:
  • 0412716208
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: vii, 455 p.
• Size: 24 cm
• Classification:
  • DC20 : 004.62
• Subject Headings:
  • LCSH : Computer network protocols -- Congresses