NASA Formal Methods: 17th International Symposium, Nfm 2025, Williamsburg, Va, Usa, June 11-13, 2025, Proceedings
暫譯: NASA 正式方法：第 17 屆國際研討會，NFM 2025，威廉斯堡，維吉尼亞州，美國，2025 年 6 月 11-13 日，會議論文集
Dutle, Aaron, Humphrey, Laura, Titolo, Laura
- 出版商: Springer
- 出版日期: 2025-06-08
- 售價: $5,040
- 貴賓價: 9.5 折 $4,788
- 語言: 英文
- 頁數: 442
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031937058
- ISBN-13: 9783031937057
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.
The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurance
for applications in space, aviation, robotics, and other NASA-relevant critical systems.
商品描述(中文翻譯)
本書為第17屆國際NASA形式方法研討會（NFM 2025）的會議紀錄，該會議於2025年6月在美國維吉尼亞州漢普頓路舉行。
會議紀錄中發表的20篇完整論文和4篇短文經過仔細審查和選擇，來自74篇投稿。這些論文專注於針對太空、航空、機器人及其他與NASA相關的關鍵系統的軟體和系統保證的形式技術。
