Dependable Computing – EDCC 2022 Workshops
SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings
-
- €42.99
-
- €42.99
Publisher Description
This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: 13th Workshop on Software Engineering for Resilient Systems, SERENE 2022; Third Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, Third Workshop on Artificial Intelligence for Railways, AI4RAILS, held in Zaragoza, Spain, in September 2022.
The 11 workshop papers presented were thoroughly reviewed and selected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.
GENRE
Computing & Internet
RELEASED
2022
8 September
LANGUAGE
EN
English
LENGTH
163
Pages
PUBLISHER
Springer International Publishing
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
19
MB
Leveraging Applications of Formal Methods, Verification and Validation. Practice
2022
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2022
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops
2022
Model-Based Safety and Assessment
2019
Computer Safety, Reliability, and Security
2019
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
2020