Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Alexander Romanovsky 및 다른 저자
    • US$59.99
    • US$59.99

출판사 설명

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland.

The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are:

ASSURE 2019:
7th International Workshop on Assurance Cases for Software-Intensive Systems

DECSoS 2019:
14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems

SASSUR 2019:
8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems

STRIVE 2019:
Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms

WAISE 2019:
Second International Workshop on Artificial Intelligence Safety Engineering

장르
컴퓨터 및 인터넷
출시일
2019년
9월 2일
언어
EN
영어
길이
428
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
40.7
MB
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2018년
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
2020년
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops
2022년
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2017년
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2015년
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2016년
Trustworthy Cyber-Physical Systems Engineering Trustworthy Cyber-Physical Systems Engineering
2016년
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2019년
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2019년
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2017년
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
2017년
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2016년