- Published Year: 2018
- Page count: 240
- File Size: 6 MB
- Language: English
- Published by: Springer International Publishing
- Visited by: 242
- Rating/Review: 4.7
-
ISBN:
978-3-319-75631-8
978-3-319-75632-5
Keywords:
آموزش برنامهنویسی و معماری نرمافزار با Code with HSN
در کانال فارسی Code with HSN تجربیات واقعی از پروژههای بزرگ، آموزشهای عمیق C#، معماری میکروسرویس، CQRS، بهینهسازی عملکرد به زبان ساده ارائه میشود. اگر برنامه نویس هستی، اینجا جاییه که باید باشی.
Learn MoreLectures on Runtime Verification: Introductory and Advanced Topics
4.7
Reviews from our users
You Can Ask your questions from this book's AI after Login
Each download or ask from book AI costs 2 points. To earn more free points, please visit the Points Guide Page and complete some valuable actions.
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.
Free Direct Download
You Can Download this book after 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.
