Protocol Specification, Testing and Verification VIII - Couverture rigide

 
9780444705426: Protocol Specification, Testing and Verification VIII
Couverture rigide
ISBN 10 : 0444705422 ISBN 13 : 9780444705426
Editeur : Elsevier Science Ltd, 1988

Synopsis

The results collected in this volume are from researchers and practitioners concerned with the theory and application of formal techniques to protocols. The main subject areas covered by the papers are: - formal models for computer communication systems - formal languages for the specification and verification of protocols - testing approaches and techniques for computer communication systems - verification and validation of communication protocols - automated implementation techniques for protocols - software environments for the development and analysis of protocols.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Elsevier Science Ltd
Date d'édition
1988
Langue
anglais
ISBN 10 
0444705422
ISBN 13 
9780444705426
Reliure
Relié
Nombre de pages
434
Éditeur
Aggarwal Sudhir, Sabnani Krishan
Coordonnées du fabricant
non disponible
Personne responsable
non disponible