We use cookies to provide essential features and services. By using our website you agree to our use of cookies .


Warehouse Stock Clearance Sale

Grab a bargain today!

Lectures on Runtime Verification


Product Description
Product Details

Table of Contents

An Introduction to Runtime Verification.- Discovering Concurrency Errors.- Monitoring Events That Carry Data.- Runtime Error Reaction and Prevention.- Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.- Runtime Verification for Decentralized and Distributed Systems.- Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.

About the Author

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

Ask a Question About this Product More...
Write your question below:
Look for similar items by category
People also searched for
Item ships from and is sold by Fishpond World Ltd.
Back to top