Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Ábrahám, Erika, Abbas, Houssam
- 出版商: Springer
- 出版日期: 2024-10-12
- 售價: $2,540
- 貴賓價: 9.5 折 $2,413
- 語言: 英文
- 頁數: 304
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031742338
- ISBN-13: 9783031742330
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
本書是第24屆國際運行時驗證會議（Runtime Verification, RV 2024）的經過審核的會議論文集，會議於2024年10月15日至17日在土耳其伊斯坦堡舉行。
本書收錄的11篇完整論文、5篇短文和2篇工具論文均經過仔細審核，從31篇投稿中選出。這些論文按主題分為以下幾個部分：邀請論文；網路物理系統；時間邏輯；規範與可視化；深度神經網路；以及分散式系統。
