TY  - BOOK
AU  - Skavhaug,Amund
AU  - Guiochet,Jérémie
AU  - Schoitsch,Erwin
AU  - Bitsch,Friedemann
ED  - SAFECOMP (Conference)
ED  - International Workshop on Assurance Cases for Software-Intensive Systems
ED  - DECSoS (Workshop)
ED  - SASSUR (Workshop)
ED  - TIPS (Workshop)
TI  - Computer safety, reliability, and security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings 
T2  - Lecture notes in computer science
SN  - 9783319454801
AV  - QA76.9.A25 
U1  - 005.8 23
PY  - 2016///
CY  - Switzerland
PB  - Springer
KW  - Computer security
KW  - Congresses
KW  - Computer systems
KW  - Reliability
KW  - Sécurité informatique
KW  - Congrès
KW  - Systèmes informatiques
KW  - Fiabilité
KW  - User interface design & usability
KW  - bicssc
KW  - Software Engineering
KW  - Information technology: general issues
KW  - Mathematical theory of computation
KW  - Computer programming
KW  - software development
KW  - Computers
KW  - Machine Theory
KW  - bisacsh
KW  - Software Development & Engineering
KW  - General
KW  - Data Processing
KW  - Mathematics
KW  - Logic
KW  - Programming
KW  - fast
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - International conference proceedings; Includes author index; SAFECOMP 2016 Workshops: ASSURE 2016 -- Assurance Cases for Software-intensive Systems -- DECSoS 2016 -- EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop -- SASSUR 2016 -- Next Generation of System Assurance Approaches for Safety-Critical Systems -- TIPS 2016?Timing Performance in Safety Engineering
N2  - This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016. The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year?s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016? Timing Performance in Safety Engineering
UR  - https://link.springer.com/10.1007/978-3-319-45480-1
ER  -