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 والمزيد
    • ‏59٫99 US$
    • ‏59٫99 US$

وصف الناشر

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

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٩
٢ سبتمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٤٢٨
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٤٠٫٧
‫م.ب.‬
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠١٨
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
٢٠٢٠
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops
٢٠٢٢
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠١٧
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠١٥
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠١٦
Trustworthy Cyber-Physical Systems Engineering Trustworthy Cyber-Physical Systems Engineering
٢٠١٦
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠١٩
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠١٩
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠١٧
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
٢٠١٧
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠١٦