Related Books

Design and Validation of Computer Protocols
Language: en
Pages: 520
Authors: Gerard J. Holzmann
Categories: Computers
Type: BOOK - Published: 1991 - Publisher:

DOWNLOAD EBOOK

This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol
Protocol Specification, Testing and Verification XV
Language: en
Pages: 452
Authors: Piotr Dembinski
Categories: Technology & Engineering
Type: BOOK - Published: 2016-01-09 - Publisher: Springer

DOWNLOAD EBOOK

This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proce
Protocol Engineering
Language: en
Pages: 535
Authors: Hartmut König
Categories: Computers
Type: BOOK - Published: 2012-10-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Communication protocols form the operational basis of computer networks and telecommunication systems. They are behavior conventions that describe how communica
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 452
Authors: Ed Brinksma
Categories: Computers
Type: BOOK - Published: 1997-03-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '
Protocol Specification, Testing and Verification, XII
Language: en
Pages: 434
Authors: R.J. Linn
Categories: Computers
Type: BOOK - Published: 2016-09-20 - Publisher: Elsevier

DOWNLOAD EBOOK

For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification