1988 (8th) (Protocol Specification, Testing and Verification: International Workshop Proceedings) - Hardcover

 
9780444705426: 1988 (8th) (Protocol Specification, Testing and Verification: International Workshop Proceedings)
Hardcover
ISBN 10: 0444705422 ISBN 13: 9780444705426
Verlag: Elsevier Science Ltd, 1988

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Elsevier Science Ltd
Erscheinungsdatum
1988
Sprache
Englisch
ISBN 10 
0444705422
ISBN 13 
9780444705426
Einband
Tapa dura
Anzahl der Seiten
434
Herausgeber
Aggarwal Sudhir, Sabnani Krishan
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar