Protocol Specification, Testing and Verification XV

Protocol Specification, Testing and Verification XV
Author :
Publisher : Springer
Total Pages : 452
Release :
ISBN-10 : 9780387348926
ISBN-13 : 0387348921
Rating : 4/5 (26 Downloads)

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

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 Specification, Testing, and Verification, VIII
Language: en
Pages: 444
Authors: Sudhir Aggarwal
Categories: Computer network protocols
Type: BOOK - Published: 1988 - Publisher: Elsevier Science & Technology

DOWNLOAD EBOOK

Protocol Specification, Testing, and Verification, VI
Language: en
Pages: 454
Authors: Concordia University
Categories: Computers
Type: BOOK - Published: 1987 - Publisher: North Holland

DOWNLOAD EBOOK

Protocol Specification, Testing, and Verification, X
Language: en
Pages: 448
Authors: Luigi Logrippo
Categories: Computer network protocols
Type: BOOK - Published: 1990 - Publisher: North Holland

DOWNLOAD EBOOK

The contributions to this book are from researchers and practitioners concerned with the theory and application of formal methods to the specification, testing
Formal Description Techniques and Protocol Specification, Testing and Verification
Language: en
Pages: 544
Authors: Atsushi Togashi
Categories: Computers
Type: BOOK - Published: 2013-06-05 - Publisher: Springer

DOWNLOAD EBOOK

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1,