Items related to Protocol Specification, Testing and Verification XIV

Protocol Specification, Testing and Verification XIV - Softcover

 
9781475763072: Protocol Specification, Testing and Verification XIV
Softcover
ISBN 10: 1475763077 ISBN 13: 9781475763072
Publisher: Springer, 2013

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.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
1475763077
ISBN 13 
9781475763072
Binding
Paperback
Number of pages
422
Editor
Vuong S.T., Chanson Samuel T.