{"product_id":"nasa-formal-methods-springer-nature-switzerland-ag-9783030763831-13th-international-symposium-nfm-2021-virtual-event-may-24-28-2021-proceedings-aaron-dutle","title":"NASA Formal Methods","description":"\u003cp\u003eDiscover the cutting-edge insights in \u003cstrong\u003eNASA Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eAaron Dutle\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2021. This comprehensive 1st edition spans 402 pages and delves into advanced methodologies applicable to various high-stakes systems. Explore critical topics such as advanced separation assurance algorithms for aircraft, next-generation air transportation solutions, and the autonomous rendezvous and docking of spacecraft. Additionally, the book covers on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robotics, and innovative systems for fault detection, diagnosis, and prognostics. \u003cstrong\u003eNASA Formal Methods\u003c\/strong\u003e is an essential resource for professionals and researchers interested in aerospace technology and safety-critical systems. Enhance your understanding of formal methods and their application in real-world scenarios with this authoritative guide.\u003c\/p\u003e","brand":"Aaron Dutle","offers":[{"title":"Default Title","offer_id":52267154637142,"sku":"9783030763831","price":90.93,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030763831.jpg?v=1767799980","url":"https:\/\/www.englishbook.fi\/products\/nasa-formal-methods-springer-nature-switzerland-ag-9783030763831-13th-international-symposium-nfm-2021-virtual-event-may-24-28-2021-proceedings-aaron-dutle","provider":"Bookshop","version":"1.0","type":"link"}