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 và các tác giả khác
    • 39,99 US$
    • 39,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2022
8 tháng 9
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
163
Trang
NHÀ XUẤT BẢN
Springer International Publishing
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
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