Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings
1st ed. 2021
Book Details
AI Summary
Delivery Location
Delivery fee: Select location
The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.
The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
Get Runtime Verification by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has pages.
Discover books you might love based on this title.
More in This Genre
Shaping a DesignedUp Organisation
Ksh 7,700.00
Computational Advances in Bio and Medical Sciences
Ksh 8,100.00
Tools and Algorithms for the Construction and Analysis of Systems
Ksh 6,300.00
Trustworthy Cyber-Physical Systems Engineering
Ksh 20,700.00
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Ksh 8,100.00
Logic, Language, Information, and Computation
Ksh 8,100.00