Nasa Formal Methods
Download and Read Nasa Formal Methods full books in PDF, ePUB, and Kindle. Read online free Nasa Formal Methods ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
NASA Formal Methods
Author | : Kristin Yvonne Rozier |
Publisher | : Springer Nature |
Total Pages | : 508 |
Release | : 2023-07-04 |
Genre | : Computers |
ISBN | : 3031331702 |
Download NASA Formal Methods Book in PDF, Epub and Kindle
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
NASA Formal Methods Related Books
Language: en
Pages: 508
Pages: 508
Type: BOOK - Published: 2023-07-04 - Publisher: Springer Nature
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.
Language: en
Pages: 392
Pages: 392
Type: BOOK - Published: 2019-05-28 - Publisher: Springer
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full a
Language: en
Pages: 402
Pages: 402
Type: BOOK - Published: 2016-06-03 - Publisher: Springer
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 fu
Language: en
Pages: 546
Pages: 546
Type: BOOK - Published: 2011-04-06 - Publisher: Springer
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.
Language: en
Pages: 447
Pages: 447
Type: BOOK - Published: - Publisher: Springer Nature