Protocol Specification, Testing And Verification Xv by Piotr DembinskiProtocol Specification, Testing And Verification Xv by Piotr Dembinski

Protocol Specification, Testing And Verification Xv

EditorPiotr Dembinski, Marek Sredniawa, Piotr DeA01inski

Hardcover | November 30, 1995

Pricing and Purchase Info


Earn 1,945 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


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.
Title:Protocol Specification, Testing And Verification XvFormat:HardcoverDimensions:472 pages, 9.21 × 6.14 × 0.03 inPublished:November 30, 1995Publisher:Springer US

The following ISBNs are associated with this title:

ISBN - 10:0412716208

ISBN - 13:9780412716201


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.