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

Computer Safety, Reliability, and Security

SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Stefano Tonetta والمزيد
    • ‏39٫99 US$
    • ‏39٫99 US$

وصف الناشر

This book constitutes the refereed proceedings of five workshops
co-located with SAFECOMP 2017, the 36th International Conference on

Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.

The 38 revised full papers presented together with 5 introductory papers to each workshop,

and three invited papers, were carefully reviewed and selected from 49 submissions.

This year's workshops are: ASSURE 2017 – Assurance Cases for Software-Intensive Systems;

DECSoS 2017 – ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical

Systems and Systems-of-Systems; SASSUR 2017 – Next Generation of System Assurance

 Approaches for Safety-Critical Systems; TIPS 2017 – Timing Performance in Safety Engineering;

TELERISE 2017 Technical and legal Aspects of Data Privacy and Security.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٧
١ سبتمبر
اللغة
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 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 Computer Safety, Reliability, and Security
٢٠١٨
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops
٢٠٢٣
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠٢٣
Verified Software. Theories, Tools and Experiments. Verified Software. Theories, Tools and Experiments.
٢٠٢٣
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠١٧