Runtime Verification
Runtime Verification
Buch
- 24th International Conference, RV 2024, Istanbul, Turkey, October 15¿17, 2024, Proceedings
- Herausgeber:
- Houssam Abbas, Erika Ábrahám
- Verlag:
- Springer Nature Switzerland, 10/2024
- Einband:
- Kartoniert / Broschiert, Paperback
- Sprache:
- Englisch
- ISBN-13:
- 9783031742330
- Artikelnummer:
- 12011030
- Umfang:
- 320 Seiten
- Gewicht:
- 487 g
- Maße:
- 235 x 155 mm
- Stärke:
- 18 mm
- Artikelnummer:
- 12011030
- Erscheinungstermin:
- 12.10.2024
- Serie:
- Lecture Notes in Computer Science - Band 15191
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
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.
Runtime Verification
EUR 60,23*
