Protocol Specification, Testing and Verification XV

Author	: Piotr Dembinski
Publisher	: Springer
Total Pages	: 452
Release	: 2016-01-09
ISBN-10	: 9780387348926
ISBN-13	: 0387348921
Rating	: 4/5 (921 Downloads)

DOWNLOAD EBOOK

Book Synopsis Protocol Specification, Testing and Verification XV by : Piotr Dembinski

Download or read book Protocol Specification, Testing and Verification XV written by Piotr Dembinski and published by Springer. This book was released on 2016-01-09 with total page 452 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Protocol Specification, Testing and Verification XV Related Books

Language: en
Pages: 452

Protocol Specification, Testing and Verification XV

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

Language: en
Pages: 434

Protocol Specification, Testing and Verification, XII

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

Language: en
Pages: 315

Communication Protocol Specification and Verification

Authors: Richard Lai

Categories: Computers

Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Communication protocols are rules whereby meaningful communication can be exchanged between different communicating entities. In general, they are complex and d

Language: en
Pages: 386

Protocol Specification, Testing, and Verification, XI

Authors: Bengt Jonsson

Categories: Computers

Type: BOOK - Published: 1991 - Publisher: North Holland

DOWNLOAD EBOOK

This book contains original contributions on theory, applications and experiences from the use of advanced techniques applied to distributed systems. The emphas

Language: en
Pages: 480

Protocol Specification, Testing, and Verification, VII

Authors: IFIP Working Group 6.1

Categories: Computers

Type: BOOK - Published: 1987 - Publisher: North Holland

DOWNLOAD EBOOK