Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Tonetta, Stefano (Editor), Schoitsch, Erwin (Editor), Bitsch, Friedemann (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10489
• Subjects: 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.
• Physical Description: XIV, 478 p. 138 illus. online resource.
• ISBN: 9783319662848
• ISSN: 0302-9743 ;

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017. The 38 revised full papers presented together with 5 introductory papers to each workshop, and three invited papers, were carefully reviewed and selected from 49 submissions. This year's workshops are: ASSURE 2017 – Assurance Cases for Software-Intensive Systems; DECSoS 2017 – ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2017 – Next Generation of System Assurance  Approaches for Safety-Critical Systems; TIPS 2017 – Timing Performance in Safety Engineering; TELERISE 2017 Technical and legal Aspects of Data Privacy and Security.