Protocol Specification, Testing, and Verification, X Proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990
0
0
Author Description
The contributions to this book are from researchers and practitioners concerned with the theory and application of formal methods to the specification, testing and verification of protocols for open systems. Being the tenth in a successful series of symposia, a special feature of the book is a number of invited papers on the same theme, The First Ten Years, The Next Ten Years''.
Page Count:
415
Publication Date:
1990-01-01
ISBN-10:
0444888101
ISBN-13:
9780444888105
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!