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)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.