Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Professional & Technical > Transport technology > Aerospace & aviation technology

Buy Now

NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Paperback, 1st ed. 2021) Loot Price: R2,664

Discovery Miles 26 640

Repayment Terms: R250 pm x 12*

Add to cart

NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Paperback, 1st ed....

NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Paperback, 1st ed. 2021)

Aaron Dutle, Mariano M. Moscato, Laura Titolo, Cesar A. Munoz, Ivan Perez

Series: Lecture Notes in Computer Science, 12673

(sign in to rate)

Loot Price R2,664 Discovery Miles 26 640 | Repayment Terms: R250 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 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.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 12673
Release date:	May 2021
First published:	2021
Editors:	Aaron Dutle • Mariano M. Moscato • Laura Titolo • Cesar A. Munoz • Ivan Perez
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	402
Edition:	1st ed. 2021
ISBN-13:	978-3-03-076383-1
Categories:	Books > Professional & Technical > Transport technology > Aerospace & aviation technology > General Promotions
LSN:	3-03-076383-8
Barcode:	9783030763831