|
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,800
Discovery Miles 28 000
|
|
|
NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Paperback, 1st ed. 2021)
Series: Lecture Notes in Computer Science, 12673
Expected to ship within 10 - 15 working days
|
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
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
