Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings - Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Assurance cases for Software-Intensive Systems.-  Dependable embedded and cyber-physical systems and systems-of-systems -- Next generation of system assurance  approaches for safety-critical systems -- Timing performance in safety engineering -- Technical and legal aspects of data privacy and security.
Keywords: Computer logic; Programming languages (Electronic computers).; Software engineering; Computer security; Application software; Computer organization; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Systems and Data Security; Computer Applications; Computer Systems Organization and Communication Networks