Items related to Protocol Specification, Testing and Verification XIV
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2013
- ISBN 10 1475763077
- ISBN 13 9781475763072
- BindingPaperback
- LanguageEnglish
- Number of pages422
- EditorVuong S.T., Chanson Samuel T.
Other Popular Editions of the Same Title
Search results for Protocol Specification, Testing and Verification XIV
Stock Image
Protocol Specification, Testing and Verification XIV
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781475763072_new
Quantity: Over 20 available
Stock Image
Protocol Specification, Testing and Verification XIV
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475763072
Quantity: Over 20 available
Stock Image
Protocol Specification, Testing and Verification XIV
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475763072
Quantity: Over 20 available