Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Romanovsky, Alexander (Editor, http://id.loc.gov/vocabulary/relators/edt), Troubitsyna, Elena (Editor, http://id.loc.gov/vocabulary/relators/edt), Bitsch, Friedemann (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Programming and Software Engineering ; 11698
• Subjects: Computer organization.; Artificial intelligence.; Software engineering.; Optical data processing.; Microprogramming .; Computer Systems Organization and Communication Networks.; Artificial Intelligence.; Software Engineering/Programming and Operating Systems.; Image Processing and Computer Vision.; Control Structures and Microprogramming.
• Physical Description: XXI, 316 p. 320 illus., 92 illus. in color. online resource.
• ISBN: 9783030266011
• DOI: 10.1007/978-3-030-26601-1

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