NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
Author:   Nathaniel Benz ,  Divya Gopinath ,  Nija Shi
Publisher:   Springer International Publishing AG
Volume:   14627
ISBN:  

9783031606977


Pages:   438
Publication Date:   28 May 2024
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $211.17 Quantity:  
Add to Cart

Share |

NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings


Add your own review!

Overview

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.

Full Product Details

Author:   Nathaniel Benz ,  Divya Gopinath ,  Nija Shi
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Volume:   14627
ISBN:  

9783031606977


ISBN 10:   3031606973
Pages:   438
Publication Date:   28 May 2024
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now