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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Romanovsky, Alexander (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Troubitsyna, Elena (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bitsch, Friedemann (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Programming and Software Engineering ; 11698
• Θέματα: 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.
• Φυσική περιγραφή: 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. .