Computer Safety, Reliability, and Security
42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023.
The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing.
Autor*in
Jérémie Guiochet
Themen in »Computer Safety, Reliability, and Security«
fault detection and recovery mechanisms distributed and real-time monitoring and control safety/security risk assessment model-based analysis, design, and assessment formal methods for verification, validation, and fault tolerance probabilistic verification and validation in-the-loop and model-based testing architecture-driven assurance of safety and security methods for qualification, assurance and certification cyber physical threats and vulnerability analysis dependability analysis security and privacy protection mechanisms