NASA Formal Methods

Aaron Dutle

ISBN 10: 3319779346 / ISBN 13: 9783319779348

Published by Springer International Publishing Mrz 2018, 2018

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 10th International Symposiumon 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 carefullyreviewed and selected from 92 submissions. The papers focuson 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. 484 pp. Englisch.

Seller Inventory # 9783319779348

Bibliographic Details

• Title: NASA Formal Methods
• Publisher: Springer International Publishing Mrz 2018
• Publication Date: 2018
• Language: English
• ISBN 10: 3319779346
• ISBN 13: 9783319779348
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 27D millimeters 235 millimeters width by 155 millimeters height by 27 millimeters depth
• Weight: 727 grams

About this title

Synopsis

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.