03050nam a22006135i 4500 978-3-031-60698-4 DE-He213 20251030112101.0 cr nn 008mamaa 240527s2024 sz | s |||| 0|eng d 9783031606984 978-3-031-60698-4 10.1007/978-3-031-60698-4 doi QA76.758 UMZ bicssc COM051230 bisacsh UMZ thema NASA Formal Methods [electronic resource] : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings / edited by Nathaniel Benz, Divya Gopinath, Nija Shi. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. XXIII, 438 p. 89 illus., 61 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Lecture Notes in Computer Science, 1611-3349 ; 14627 This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems. Software engineering. 33953 Computer science. 58552 Computer engineering. Computer networks . 60157 Artificial intelligence. 58441 Computer simulation. Software Engineering. 33953 Theory of Computation. 67552 Computer Engineering and Networks. Artificial Intelligence. 58441 Computer Modelling. 65738 Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 https://orcid.org/0009-0003-9672-5929 edt http://id.loc.gov/vocabulary/relators/edt 77555 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 https://orcid.org/0000-0002-1242-7701 edt http://id.loc.gov/vocabulary/relators/edt 77556 Shi, Nija. editor. edt http://id.loc.gov/vocabulary/relators/edt 77557 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031606977 Printed edition: 9783031606991 Lecture Notes in Computer Science, 1611-3349 ; 14627 https://doi.org/10.1007/978-3-031-60698-4 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC 60174 60174