TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-031-40923-3
DO  - doi
AB  - 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.
T1  - Computer safety, reliability, and security :42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings /
AU  - Guiochet, Jérémie,
AU  - Tonetta, Stefano,
AU  - Bitsch, Friedemann,
VL  - 14181
CN  - QA76.9.A25
N1  - Includes author index.
ID  - 1480823
KW  - Sécurité informatique
KW  - Ordinateurs
KW  - Génie logiciel
KW  - Logique informatique
KW  - Logiciels d'application
KW  - Computer security
KW  - Computer organization
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Application software
SN  - 9783031409233
SN  - 303140923X
TI  - Computer safety, reliability, and security :42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-40923-3
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-40923-3
ER  -