Computer Safety, Reliability, and Security: 43rd International Conference, Safecomp 2024, Florence, Italy, September 18-20, 2024, Proceedings
Ceccarelli, Andrea, Trapp, Mario, Bondavalli, Andrea
相關主題
商品描述
This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024.
The 19 full papers included in this volume were carefully reviewed and selected from 80 submissions. They have been organized in topical sections as follows: Fault Injection and Tolerance; System and Software Safety Assurance; Automated Driving Systems; Security of safety-critical systems; Safety Verification; and Autonomous Systems.
商品描述(中文翻譯)
本書為第43屆國際計算機安全、可靠性與安全性會議(SAFECOMP 2024)的經過審核的會議論文集,會議於2024年9月在義大利佛羅倫斯舉行。
本卷收錄的19篇完整論文是從80篇投稿中精心審核和選出的。這些論文已按主題分為以下幾個部分:故障注入與容錯;系統與軟體安全保證;自動駕駛系統;安全關鍵系統的安全性;安全性驗證;以及自主系統。