{"product_id":"computer-safety-reliability-and-security-9783030266011","title":"Computer Safety, Reliability, and Security","description":"\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. 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.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52933382471959,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030266011.jpg?v=1781611709","url":"https:\/\/payment.letskitaboo.com\/products\/computer-safety-reliability-and-security-9783030266011","provider":"Kitaboo One eStore","version":"1.0","type":"link"}