Computer Safety, Reliability, and S - E-book

eBook

Computer Safety, Reliability, And Security - ENG

38th International Conference, Safecomp 2019, Turku, Finland, September 11â€“13, 2019, Proceedings

eBook

$1,300.00

Disponible

Información adicional
Sinopsis

ISBN:	9783030266011
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Hardware general
Año de publicación:	2019-09-02

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.Â

eBooks