Lectures on Runtime Verification / Lecture Notes in Computer Science Bd.10457 (PDF)
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 2018, 1st ed. 2018, 233 Seiten, Englisch
- Herausgegeben: Ezio Bartocci, Yliès Falcone
- Verlag: Springer-Verlag GmbH
- ISBN-10: 331975632X
- ISBN-13: 9783319756325
- Erscheinungsdatum: 10.02.2018
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 6.39 MB
- Ohne Kopierschutz
- Vorlesefunktion
Schreiben Sie einen Kommentar zu "Lectures on Runtime Verification / Lecture Notes in Computer Science Bd.10457".
Kommentar verfassen