Synopsis
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.
Book Details
ISBN-13 :
9783030266011
Publisher :
Springer International Publishing
Date of Addition:
2019-09-17T10:31:04Z
Language :
eng
Categories :
Art and Architecture
,
Computers and Internet
,
Nonfiction
,
COMPUTERS / Computer Graphics
,
COMPUTERS / Hardware / General
,
COMPUTERS / Intelligence (AI) & Semantics
,
COMPUTERS / Software Development & Engineering / General
,
COMPUTERS / Systems Architecture / General
Usage Restrictions:
Copyright.