Articles liés à Lectures on Runtime Verification: Introductory and...

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
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne