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.
€64.04
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format EPUB ● ISBN 9783030266011 ● Editor Friedemann Bitsch & Alexander Romanovsky ● Editura Springer International Publishing ● Publicat 2019 ● Descărcabil 3 ori ● Valută EUR ● ID 7280854 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM
Mai multe cărți electronice de la același autor (i) / Editor
3.639 Ebooks din această categorie
