کتاب دانلود کتب لاتین علوم مهندسیرایانه، اینترنت و فناوری اطلاعات
ایمنی، اطمینان و امنیت رایانه
ایمنی، اطمینان و امنیت رایانه

Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
سال انتشار: 2019
تعداد صفحات: 325
زبان فایل: English
فرمت فایل: pdf
حجم فایل: 27MB

دانلود رایگان

Publisher : Springer

ISBN-10 : 3030266001

ISBN-13: 978-3030266004

ASIN : B07X9KBD5S

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

The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation.