Lectures on Runtime Verification
Introductory and Advanced Topics
(Sprache: Englisch)
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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 77.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Lectures on Runtime Verification “
Klappentext zu „Lectures on Runtime Verification “
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.
Inhaltsverzeichnis zu „Lectures on Runtime Verification “
An Introduction to Runtime Verification.- Discovering Concurrency Errors.- Monitoring Events That Carry Data.- Runtime Error Reaction and Prevention.- Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.- Runtime Verification for Decentralized and Distributed Systems.- Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.Autoren-Porträt
Editors: Ezio Bartocci, TU Wien, Austria and Yliès Falcone, University of Grenoble Alpes, France.
Bibliographische Angaben
- 2018, 1st ed. 2018, VII, 233 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Ezio Bartocci, Yliès Falcone
- Verlag: Springer, Berlin
- ISBN-10: 3319756311
- ISBN-13: 9783319756318
- Erscheinungsdatum: 11.02.2018
Sprache:
Englisch
Kommentar zu "Lectures on Runtime Verification"
0 Gebrauchte Artikel zu „Lectures on Runtime Verification“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Lectures on Runtime Verification".
Kommentar verfassen