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 1974- (Springer, 2017)
Keywords: Computer science; Computer organization; Software engineering; Programming languages (Electronic computers); Computer security; Computer logic; Application software; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Systems and Data Security; Computer Applications; Computer Systems Organization and Communication Networks; Informatik; Formale Methode; Zuverlässigkeit; Software; Konferenzschrift