Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings /
Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings / [electronic resource] :
edited by Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch.
- 1st ed. 2024.
- XVII, 316 p. 124 illus., 89 illus. in color. online resource.
- Lecture Notes in Computer Science, 14988 1611-3349 ; .
- Lecture Notes in Computer Science, 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.
9783031686061
Computer networks .
Software engineering.
Information technology--Management.
Robotics.
Microprogramming .
Computer networks--Security measures.
Computer Communication Networks.
Software Engineering.
Computer Application in Administrative Data Processing.
Robotics.
Control Structures and Microprogramming.
Mobile and Network Security.
TK5105.5-5105.9
004.6
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.
9783031686061
Computer networks .
Software engineering.
Information technology--Management.
Robotics.
Microprogramming .
Computer networks--Security measures.
Computer Communication Networks.
Software Engineering.
Computer Application in Administrative Data Processing.
Robotics.
Control Structures and Microprogramming.
Mobile and Network Security.
TK5105.5-5105.9
004.6
