The 20 papers in this volume provide a comprehensive account the current state of the art in this field. They focus on protocol engineering, improvement of formal methods, verification and synthesis methods, conformance testing and application to real case studies.
Read More
The 20 papers in this volume provide a comprehensive account the current state of the art in this field. They focus on protocol engineering, improvement of formal methods, verification and synthesis methods, conformance testing and application to real case studies.
Read Less
Add this copy of Protocol Specification, Testing and Verification, XIII to cart. $71.01, like new condition, Sold by Bookmonger.Ltd rated 5.0 out of 5 stars, ships from Hillside, NJ, UNITED STATES, published 1993 by North Holland.
Add this copy of Protocol Specification, Testing and Verification, XIII to cart. $118.18, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1993 by North Holland.