Protocol Specification, Testing and Verification XV / Edition 1

Protocol Specification, Testing and Verification XV / Edition 1

by Piotr Dembinski
     
 

ISBN-10: 0412716208

ISBN-13: 9780412716201

Pub. Date: 11/30/1995

Publisher: Springer US

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.

Overview

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.

Product Details

ISBN-13:
9780412716201
Publisher:
Springer US
Publication date:
11/30/1995
Series:
IFIP Advances in Information and Communication Technology
Edition description:
1995
Pages:
472
Product dimensions:
6.14(w) x 9.21(h) x 0.24(d)

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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >