Protocol Specification, Testing and Verification XIV - Couverture souple

 
9781475763072: Protocol Specification, Testing and Verification XIV
Couverture souple
ISBN 10 : 1475763077 ISBN 13 : 9781475763072
Editeur : Springer, 2014

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
1475763077
ISBN 13 
9781475763072
Reliure
Broché
Nombre de pages
422
Éditeur
Vuong S T, Chanson Samuel T
Coordonnées du fabricant
KINESIS
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Allemagne

Autres éditions populaires du même titre

9780412636400: Protocol Specification, Testing and Verification XIV

Edition présentée

ISBN 10 :  0412636409 ISBN 13 :  9780412636400
Editeur : Chapman and Hall, 1994
Couverture rigide