Central Library

Normal view MARC view ISBD view

Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch.

Contributor(s): Tonetta, Stefano [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Programming and Software Engineering: 10489Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017.Description: XIV, 478 p. 138 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319662848.Subject(s): Computer science | Compilers (Computer programs) | Software engineering | Data protection | Application software | Computer engineering | Computer networks  | Computer Science Logic and Foundations of Programming | Compilers and Interpreters | Software Engineering | Data and Information Security | Computer and Information Systems Applications | Computer Engineering and NetworksAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online
Contents:
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.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

There are no comments for this item.

Log in to your account to post a comment.