{"product_id":"computer-safety-reliability-and-security-38th-international-conference-safecomp-2019-turku-finland-september-11-13-2019-proceedings-von-friedemann-bitsch-alexander-romanovsky-elena-troubitsyna-hrsg","title":"Computer Safety, Reliability, and Security","description":"\n                                \n                \u003cp\u003eThis book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003e\n                                        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. \n                    \n                    \u003cbr\u003e\n                                    \n                \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783030266004\"\u003e\u003ch3\u003e38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783030266004","offer_id":39423554388061,"sku":"9783030266004","price":62.05,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/9d9e8a21-1b36-4002-b149-e6b8d0168ae4.jpg?v=1773551759","url":"https:\/\/shop.autorenwelt.de\/products\/computer-safety-reliability-and-security-38th-international-conference-safecomp-2019-turku-finland-september-11-13-2019-proceedings-von-friedemann-bitsch-alexander-romanovsky-elena-troubitsyna-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}