Computer Safety, Reliability, and Security [E-Book] : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / edited by Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch.
Bitsch, Friedemann, (editor)
Guiochet, Jérémie, (editor) / Schoitsch, Erwin, (editor) / Skavhaug, Amund, (editor)
Cham : Springer, 2016
XIV, 400 p. 130 illus. online resource.
englisch
9783319454801
10.1007/978-3-319-45480-1
Lecture notes in computer science ; 9923
Full Text
Table of Contents:
  • SAFECOMP 2016 Workshops: ASSURE 2016 - Assurance Cases for Software-intensive Systems
  • DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop
  • SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems
  • TIPS 2016 –Timing Performance in Safety Engineering.