Protocol specification, testing and verification (PSTV) brings together contributions from researchers and practitioners interested in the application of formal methods to the design, description, analysis, implementation and testing of complex and safety-critical systems such as distributed systems or communication protocols and services. The 20 selected papers included in this publication provide a comprehensive account of the current state-of-the-art in this field. They consider, in particular, protocol engineering, improvement of formal methods, verification and synthesis methods, conformance testing and application to real case studies. Two invited papers complete the volume and address the industrial applicability of the techniques. Researchers, computer scientists and post-graduate students concerned with data communications and computer networks should find the book offers a valuable insight into this rapidly developing arena.
"Sinopsis" puede pertenecer a otra edición de este libro.
Protocol specification, testing and verification (PSTV) brings together contributions from researchers and practitioners interested in the application of formal methods to the design, description, analysis, implementation and testing of complex and safety-critical systems such as distributed systems or communication protocols and services. The 20 selected papers included in this publication provide a comprehensive account of the current state-of-the-art in this field. They consider, in particular, protocol engineering, improvement of formal methods, verification and synthesis methods, conformance testing and application to real case studies. Two invited papers complete the volume and address the industrial applicability of the techniques. Researchers, computer scientists and post-graduate students concerned with data communications and computer networks should find the book offers a valuable insight into this rapidly developing arena.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 15,08 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoLibrería: Bookmonger.Ltd, HILLSIDE, NJ, Estados Unidos de America
Paperback. Condición: Fine. Nº de ref. del artículo: mon0000431581
Cantidad disponible: 1 disponibles