Ebook: Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
- Tags: Computer Science, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Image Processing and Computer Vision, Control Structures and Microprogramming
- Series: Lecture Notes in Computer Science 11698
- Year: 2019
- Publisher: Springer International Publishing
- Edition: 1st ed. 2019
- Language: English
- pdf
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.
Download the book Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)