Lectures on Runtime Verification: Introductory and Advanced Topics
  • Published Year: 2018
  • Page count: 240
  • File Size: 6 MB
  • Language: English
  • Published by: Springer International Publishing
  • Visited by: 642
  • Rating/Review: 4.7
  • ISBN: 978-3-319-75631-8
    978-3-319-75632-5

Keywords:

Lectures on Runtime Verification: Introductory and Advanced Topics

4.7

Reviews from our users

Unordered Software Testing English
You Can Ask your questions from this book's AI after Login
Each download or book AI question costs 2 points. Purchase more points

Related Refrences:
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.

Book download

You Can Download this book after Login
Register /Login

Accessing books through legal platforms and public libraries not only supports the rights of authors and publishers but also contributes to the sustainability of reading culture. Before downloading, please take a moment to consider these options.

Find this book on other platforms:

WorldCat helps you find books in libraries worldwide.
See ratings, reviews, and discussions on Goodreads.
Find and buy rare or used books on AbeBooks.

Search in WorldCat Search in Goodreads Search in AbeBooks

1642

بازدید

4.7

امتیاز

0

نظر

98%

رضایت

Reviews:

4.7

Based on 0 users review

Questions & Answers

Ask questions about this book or help others by answering

Please login to ask a question

No questions yet. Be the first to ask!