Protocol Specification, Testing and Verification VIII: International Workshop Proceedings (I F I P W G 61 International Workshop on Protocol . Specification, Testing, and Verification)

ISBN 10: 0444705422 / ISBN 13: 9780444705426

Verlag: North-Holland, 1988

Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Bestandsnummer des Verkäufers M00444705422-G

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.

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.

Bibliografische Details

Titel: Protocol Specification, Testing and ...
Verlag: North-Holland
Erscheinungsdatum: 1988
Einband: Hardcover
Zustand: good