Protocol Specification, Testing, and Verification, IX (I F I P W G 61 INTERNATIONAL WORKSHOP ON PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION//PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION) - Hardcover

Brinksma, Ed; Scollo, Giuseppe

 
9780444883438: Protocol Specification, Testing, and Verification, IX (I F I P W G 61 INTERNATIONAL WORKSHOP ON PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION//PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION)

Synopsis

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.

"synopsis" may belong to another edition of this title.