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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
