Protocol Specification, Testing and Verification VIII: 8th - Rilegato

Rilegato

ISBN 10: 0444705422 ISBN 13: 9780444705426

Casa editrice: North-Holland, 1988

Riassunto

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.

Dettagli dell?edizione

• Editore: North-Holland
• Data di pubblicazione: 1988
• Lingua: Inglese
• ISBN 10: 0444705422
• ISBN 13: 9780444705426
• Rilegatura: Copertina rigida
• Numero di pagine: 434
• Redattore: Aggarwal S.
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile