TY  - BOOK
AU  - Skavhaug,Amund
AU  - Guiochet,Jérémie
AU  - Bitsch,Friedemann
ED  - SpringerLink (Online service)
TI  - Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319454771
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2016///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer logic
KW  - Programming languages (Electronic computers)
KW  - Software engineering
KW  - Computer security
KW  - Application software
KW  - Computer organization
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - Software Engineering
KW  - Systems and Data Security
KW  - Computer Applications
KW  - Computer Systems Organization and Communication Networks
N2  - This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber security, fault trees, and safety analysis
UR  - https://doi.org/10.1007/978-3-319-45477-1
ER  -