Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “...DECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems...”
Cover Image
Read Now

2
Published 2022
Springer International Publishing
Table of Contents: “...Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems -- Dependable Development...”
Cover Image
Read Now

3
Published 2017
Springer International Publishing
Table of Contents: “...Assurance cases for Software-Intensive Systems.-  Dependable embedded and cyber-physical systems...”
Cover Image
Read Now

4
Published 2020
Springer International Publishing
Table of Contents: “...Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems...”
Cover Image
Read Now

5
Published 2016
Springer International Publishing
Table of Contents: “... 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop -- SASSUR...”
Cover Image
Read Now

6
Published 2018
Springer International Publishing
Table of Contents: “... International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems...”
Cover Image
Read Now

7
Published 2019
Springer International Publishing
Table of Contents: “... automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous...”