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

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.

• Format: Paperback
• Language: English
• ISBN: 3030266001
• ISBN13: 9783030266004
• Release Date: August 2019
• Publisher: Springer
• Length: 316 Pages
• Weight: 1.05 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"