Protocol Specification, Testing and Verification XIV by S.T. VuongProtocol Specification, Testing and Verification XIV by S.T. Vuong

Protocol Specification, Testing and Verification XIV

EditorS.T. Vuong, Samuel T. Chanson

Hardcover | November 30, 1994

Pricing and Purchase Info

$282.80 online 
$323.95 list price save 12%
Earn 1,414 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


This volume presents the latest research worldwide on communications protocols, emhasizing specification and compliance testing. It presents the complete proceedings of the fourteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing and held in Vancouver, Canada, in August 1994.
Title:Protocol Specification, Testing and Verification XIVFormat:HardcoverDimensions:414 pages, 9.25 × 6.1 × 0.03 inPublished:November 30, 1994Publisher:Springer US

The following ISBNs are associated with this title:

ISBN - 10:0412636409

ISBN - 13:9780412636400


Table of Contents

Preface. Committee members and invited speakers. List of referees. Full papers. Session One: FDTs and enhancements. Invited address I. Session Two: Verification methodology based on FDTs. Session Three: Testing - architecture, fault coverage and interoperability. Session Four: Protocol specification and design methodology. Invited address II - Abstract. Session Five: Testing - theoretical issues. Session Six: Verification methods. Short papers. Session Seven: Modelling and verification of realtime systems. Invited address III - Abstract. Session Eight: Testing - tools and methods. Session Nine: FDT-based design, specification and implementation. Index of contributors. Keyword index.