{"product_id":"computer-safety-reliability-and-security-38th-international-conference-safecomp-2019-turku-finland-september-11-13-2019-proceedings-9783030266004","title":"Computer Safety, Reliability, and Security: 38th International Conference, Safecomp 2019, Turku, Finland, September 11-13, 2019, Proceedings","description":"\u003cp\u003e • Author(s): Alexander Romanovsky\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\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 \u003cp\u003eThe 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. \u003cbr\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45282893398167,"sku":"9783030266004","price":4260.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783030266004.webp?v=1769303491","url":"https:\/\/atlanticbooks.com\/products\/computer-safety-reliability-and-security-38th-international-conference-safecomp-2019-turku-finland-september-11-13-2019-proceedings-9783030266004","provider":"Atlantic Books","version":"1.0","type":"link"}