Protocol Specification, Testing and Verification XIV - Softcover

Softcover

ISBN 10: 1475763077 ISBN 13: 9781475763072

Verlag: Springer, 2014

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2014
• Sprache: Englisch
• ISBN 10: 1475763077
• ISBN 13: 9781475763072
• Einband: Taschenbuch
• Anzahl der Seiten: 422
• Herausgeber: Vuong S T, Chanson Samuel T
• Kontakt zum Hersteller: ROXIO; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; 22391; Deutschland