Produktbild
Ezio (Hrsg.) Bartocci

Lectures on Runtime Verification

Introductory and Advanced Topics

Ebook (PDF Format)

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.

CHF 67.50

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Falcone, Yliès (Hrsg.)
  • ISBN: 978-3-319-75632-5
  • EAN: 9783319756325
  • Produktnummer: 33316317
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2018
  • Seitenangabe: 233 S.
  • Plattform: PDF
  • Masse: 6'704 KB
  • Abbildungen: 28 schwarz-weiße Abbildungen, Bibliographie
  • Reihenbandnummer: 10457

Über den Autor


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

11 weitere Werke von Ezio (Hrsg.) Bartocci:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.