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