NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Lecture Notes in Computer Science)
暫譯: NASA 正式方法：第九屆國際研討會，NFM 2017，莫非特菲爾德，加州，美國，2017年5月16-18日，會議論文集（計算機科學講義）

NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2017-04-09
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 448
  • 裝訂: Paperback
  • ISBN: 3319572873
  • ISBN-13: 9783319572871
  • 相關分類: Computer-Science

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.

The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 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 2017）的會議紀錄，該會議於2017年5月在美國加州莫菲特場舉行。

本卷中呈現的23篇完整論文和8篇短文均經過仔細審查和選擇，來自77篇投稿。這些論文專注於軟體保證的形式技術及其他方法，探討其理論、當前能力與限制，以及在軟體生命週期各階段對航空航天、機器人及其他與NASA相關的安全關鍵系統的潛在應用。

類似商品