Items related to Protocol Specification, Testing and Verification: Proceeding...

Protocol Specification, Testing and Verification: Proceedings of the IFIP TC6/WG6 1 Thirteenth International Symposium, Liege, Belgium, 25-28 May ... (IFIP Transactions C: Communication Systems) - Softcover

 
9780444816481: Protocol Specification, Testing and Verification: Proceedings of the IFIP TC6/WG6 1 Thirteenth International Symposium, Liege, Belgium, 25-28 May ... (IFIP Transactions C: Communication Systems)

Synopsis

Protocol specification, testing and verification (PSTV) brings together contributions from researchers and practitioners interested in the application of formal methods to the design, description, analysis, implementation and testing of complex and safety-critical systems such as distributed systems or communication protocols and services. The 20 selected papers included in this publication provide a comprehensive account of the current state-of-the-art in this field. They consider, in particular, protocol engineering, improvement of formal methods, verification and synthesis methods, conformance testing and application to real case studies. Two invited papers complete the volume and address the industrial applicability of the techniques. Researchers, computer scientists and post-graduate students concerned with data communications and computer networks should find the book offers a valuable insight into this rapidly developing arena.

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

Buy Used

Condition: Fine
View this item

£ 12.91 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Search results for Protocol Specification, Testing and Verification: Proceeding...

Stock Image

Published by North Holland, 1993
ISBN 10: 0444816488 ISBN 13: 9780444816481
Used Paperback

Seller: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Paperback. Condition: Fine. Seller Inventory # mon0000431581

Contact seller

Buy Used

£ 48.64
Convert currency
Shipping: £ 12.91
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket