03455nam a22006375i 4500 978-3-031-68606-1 DE-He213 20251030112946.0 cr nn 008mamaa 240909s2024 sz | s |||| 0|eng d 9783031686061 978-3-031-68606-1 10.1007/978-3-031-68606-1 doi TK5105.5-5105.9 UKN bicssc COM043000 bisacsh UKN thema Computer Safety, Reliability, and Security [electronic resource] : 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18–20, 2024, Proceedings / edited by Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. XVII, 316 p. 124 illus., 89 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Lecture Notes in Computer Science, 1611-3349 ; 14988 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. Computer networks . 60157 Software engineering. 33953 Information technology Management. 57223 Robotics. 59148 Microprogramming . 67687 Computer networks Security measures. 63949 Computer Communication Networks. 65689 Software Engineering. 33953 Computer Application in Administrative Data Processing. 66531 Robotics. 59148 Control Structures and Microprogramming. 67688 Mobile and Network Security. 66379 Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 https://orcid.org/0000-0002-2291-2428 edt http://id.loc.gov/vocabulary/relators/edt 83940 Trapp, Mario. editor. edt http://id.loc.gov/vocabulary/relators/edt 83941 Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 https://orcid.org/0000-0001-7366-6530 edt http://id.loc.gov/vocabulary/relators/edt 83942 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 https://orcid.org/0000-0001-6152-4121 edt http://id.loc.gov/vocabulary/relators/edt 83943 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031686054 Printed edition: 9783031686078 Lecture Notes in Computer Science, 1611-3349 ; 14988 https://doi.org/10.1007/978-3-031-68606-1 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC 63211 63211