Lectures on Runtime Verification: Introductory and Advanced Topics - Couverture souple

 
9783319756318: Lectures on Runtime Verification: Introductory and Advanced Topics
Couverture souple
ISBN 10 : 3319756311 ISBN 13 : 9783319756318
Editeur : Springer, 2018

Synopsis

The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.

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

À propos de l?auteur

Editors: Ezio Bartocci, TU Wien, Austria and Yliès Falcone, University of Grenoble Alpes, France.

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

Éditeur
Springer
Date d'édition
2018
Langue
anglais
ISBN 10 
3319756311
ISBN 13 
9783319756318
Reliure
Broché
Numéro d'édition
1
Nombre de pages
244
Éditeur
Bartocci Ezio, Falcone Yliès
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Allemagne

Autres éditions populaires du même titre

9783319756332: Lectures on Runtime Verification: Introductory and Advanced Topics

Edition présentée

ISBN 10 :  3319756338 ISBN 13 :  9783319756332
Editeur : Springer, 2018
Couverture souple