Runtime Verification

Runtime Verification

by Erika Ábrahám and Houssam Abbas
Epub (Kobo), Epub (Adobe)
Publication Date: 11/10/2024

Share This eBook:

  $81.99

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.


The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.

ISBN:
9783031742347
9783031742347
Category:
Computer programming / software development
Format:
Epub (Kobo), Epub (Adobe)
Publication Date:
11-10-2024
Language:
English
Publisher:
Springer Nature Switzerland

This item is delivered digitally

Reviews

Be the first to review Runtime Verification.