{"product_id":"nasa-formal-methods-13th-international-symposium-nfm-2021-virtual-event-may-24-28-2021-proceedings-9783030763831","title":"NASA Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings","description":"\u003cp\u003e • Author(s): Aaron Dutle\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003eThis book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.\u003c\/p\u003e\u003cp\u003eThe 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283485778071,"sku":"9783030763831","price":6243.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783030763831.webp?v=1769305116","url":"https:\/\/atlanticbooks.com\/products\/nasa-formal-methods-13th-international-symposium-nfm-2021-virtual-event-may-24-28-2021-proceedings-9783030763831","provider":"Atlantic Books","version":"1.0","type":"link"}