NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Lecture Notes in Computer Science)
暫譯: NASA 正式方法：第十屆國際研討會，NFM 2018，維吉尼亞州紐波特紐斯，2018年4月17-19日，會議論文集（計算機科學講義）
- 出版商: Springer
- 出版日期: 2018-03-11
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 484
- 裝訂: Paperback
- ISBN: 3319779346
- ISBN-13: 9783319779348
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018
.
The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
商品描述(中文翻譯)
本書為第十屆國際NASA形式方法研討會（NFM 2018）的會議紀錄，該會議於2018年4月在美國維吉尼亞州紐波特紐斯舉行。本卷中發表的24篇完整論文和7篇短文經過仔細審查和選擇，來自92篇投稿。這些論文專注於軟體保證的形式技術及其他方法，探討其理論、當前能力與限制，以及在軟體生命週期各階段對航空航天、機器人及其他與NASA相關的安全關鍵系統的潛在應用。
.jpg)
