Protocol Specification, Testing and Verification - Rilegato

 
9780412716201: Protocol Specification, Testing and Verification
Rilegato
ISBN 10: 0412716208 ISBN 13: 9780412716201
Casa editrice: Chapman & Hall, 1995

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Chapman & Hall
Data di pubblicazione
1995
Lingua
Inglese
ISBN 10 
0412716208
ISBN 13 
9780412716201
Rilegatura
Copertina rigida
Numero di pagine
472
Redattore
Dembinski Piotr, Sredniawa Marek
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania