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

Inhaltsangabe

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''.

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