Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings - Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety 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