TY  - GEN
AB  - This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021. The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance.
AU  - Habli, Ibrahim.
AU  - Sujan, Mark.
AU  - Bitsch, Friedemann.
CN  - QA76.9.A25
CY  - Cham :
DA  - 2021.
DO  - 10.1007/978-3-030-83903-1
DO  - doi
ID  - 1439224
KW  - Computer security
KW  - Computer organization
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Application software
KW  - Sécurité informatique
KW  - Ordinateurs
KW  - Génie logiciel
KW  - Logique informatique
KW  - Logiciels d'application
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-83903-1
N1  - Includes author index.
N2  - This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021. The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance.
PB  - Springer,
PP  - Cham :
PY  - 2021.
SN  - 9783030839031
SN  - 3030839036
T1  - Computer Safety, Reliability, and Security :40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings /
TI  - Computer Safety, Reliability, and Security :40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-83903-1
VL  - 12852
ER  -