NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Dutle, Aaron (Editor, http://id.loc.gov/vocabulary/relators/edt), Muñoz, César (Editor, http://id.loc.gov/vocabulary/relators/edt), Narkawicz, Anthony (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Programming and Software Engineering ; 10811
• Subjects: Software engineering.; Programming languages (Electronic computers).; Computer simulation.; Artificial intelligence.; Computers.; Computer system failures.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Simulation and Modeling.; Artificial Intelligence.; Theory of Computation.; System Performance and Evaluation.

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 tech...