Dependable Computing – EDCC 2022 Workshops Dependable Computing – EDCC 2022 Workshops

Dependable Computing – EDCC 2022 Workshops

SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings

stefano marrone 및 다른 저자
    • US$39.99
    • US$39.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2022년
9월 8일
언어
EN
영어
길이
163
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
19
MB
Leveraging Applications of Formal Methods, Verification and Validation. Practice Leveraging Applications of Formal Methods, Verification and Validation. Practice
2022년
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2022년
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops
2022년
Model-Based Safety and Assessment Model-Based Safety and Assessment
2019년
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2019년
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
2020년