nasa  (1 094 Angebote unter 17 662 435 Artikeln)

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Today, there exists an integrated, large-scale satellite system to track sea-level rise, its speed, causes, and impacts. Building it was a struggle every step of the way. It was the most vivid and ...

11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 - May 1, 2014. The 20 revised regular papers p...

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 book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.

14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

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

*The conference was held virtually due to the COVID-19 pandemic. The chapter "Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL" is available open access under a Creative Commo...

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presen...

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers present...

This book presents the first comprehensive history of innovation at NASA, bringing together experts in the field to illuminate how public-private and international partnerships have fueled new ways...

The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings