Lectures on Runtime Verification

Introductory and Advanced Topics

By: Ezio Bartocci (Editor), Ylies Falcone (Editor)

Write A Review

Paperback | 11 February 2018

At a Glance

Paperback
244 Pages

Dimensions(cm)
15.5 x 23.4 x 2.0

Paperback

$109.00

or 4 interest-free payments of $27.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.