EAN: 9783319756318

LECTURES ON RUNTIME VERIFICATION KARTONIERT (TB)

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.

Aktuelle Preise zur EAN 9783319756318

Produktinformationen zur 9783319756318