NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings
Benz, Nathaniel, Gopinath, Divya, Shi, Nija
- 出版商: Springer
- 出版日期: 2024-05-28
- 售價: $3,310
- 貴賓價: 9.5 折 $3,145
- 語言: 英文
- 頁數: 438
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031606973
- ISBN-13: 9783031606977
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
本 LNCS 14627 會議論文集是第 16 屆國際 NASA 正式方法研討會（NFM 2024）的會議紀錄，該會議於 2024 年 6 月在美國加州莫菲特場舉行。本卷收錄的 20 篇完整論文和 6 篇短文經過仔細審查和選擇，來自 68 篇投稿。
本次會議專注於針對太空、航空、機器人及其他與 NASA 相關的安全關鍵系統的軟體和系統保證的正式技術。
