NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book NASA Formal Methods by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319572888
Publisher: Springer International Publishing Publication: April 8, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319572888
Publisher: Springer International Publishing
Publication: April 8, 2017
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Automation Control Theory Perspectives in Intelligent Systems by
Cover of the book Macroeconomic Policy after the Crash by
Cover of the book Introduction to Digital Signal Processing Using MATLAB with Application to Digital Communications by
Cover of the book Boycotts Past and Present by
Cover of the book Migration, Refugees and Human Security in the Mediterranean and MENA by
Cover of the book Family Caregiving by
Cover of the book Intangible Life by
Cover of the book Digital Libraries: Supporting Open Science by
Cover of the book Lone Heroes and the Myth of the American West in Comic Books, 1945-1962 by
Cover of the book Felix Kaufmann's Theory and Method in the Social Sciences by
Cover of the book A Life Devoted to Quality of Life by
Cover of the book Structural Health Monitoring, Photogrammetry & DIC, Volume 6 by
Cover of the book Concentration Inequalities for Sums and Martingales by
Cover of the book Autophagy at the Cell, Tissue and Organismal Level by
Cover of the book Economic Perspectives on Craft Beer by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy