Dependable Computing – EDCC 2022 Workshops
SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings
-
- 39٫99 US$
-
- 39٫99 US$
وصف الناشر
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.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٢
٨ سبتمبر
اللغة
EN
الإنجليزية
عدد الصفحات
١٦٣
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
١٩
م.ب.
Leveraging Applications of Formal Methods, Verification and Validation. Practice
٢٠٢٢
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠٢٢
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops
٢٠٢٢
Model-Based Safety and Assessment
٢٠١٩
Computer Safety, Reliability, and Security
٢٠١٩
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
٢٠٢٠