Protocol Specification, Testing, and Verification, IX Proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989
0
0
Author Description
Researchers and practitioners concerned with the application of formal methods to the design, description, analysis, implementation and testing of open systems contributed to this book. It is the ninth in a successful series of annual volumes.
Page Count:
401
Publication Date:
1990-01-01
ISBN-10:
0444883436
ISBN-13:
9780444883438
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!