NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - Programming and Software Engineering 10227 (Paperback)Clark Barrett (editor), Misty Davies (editor), Temesghen Kahsai (editor)
- We can order this
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.
Publisher: Springer International Publishing AG
Number of pages: 436
Weight: 682 g
Dimensions: 235 x 155 x 23 mm
Edition: 1st ed. 2017
You may also be interested in...
Please sign in to write a review