No products in the cart.
Sale!
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
Original price was: $139.99.$20.99Current price is: $20.99.
ISBN: 9783031606984
Product Description
NASA Formal Methods
16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions.
The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.
Link Pinterest: NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
From: motoono.com
eBook Details
Publish Date: May 27, 2024
Publisher: Springer Nature Switzerland
Author: Nathaniel Benz (ed.); Divya Gopinath (ed.); Nija Shi (ed.)
Language: English
This ebook is available in EPUB (encrypted)
Be the first to review “NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings”
Related products
Sale!
Original price was: $22.53.$20.99Current price is: $20.99.
Sale!
Original price was: $24.03.$15.99Current price is: $15.99.
Sale!
Original price was: $27.99.$16.99Current price is: $16.99.
Sale!
Original price was: $39.99.$18.99Current price is: $18.99.
Sale!
Original price was: $23.09.$15.99Current price is: $15.99.
Sale!
Original price was: $32.00.$17.99Current price is: $17.99.
Sale!
Original price was: $27.99.$20.99Current price is: $20.99.
Sale!
Original price was: $29.99.$15.99Current price is: $15.99.
Reviews
There are no reviews yet.