16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings Benz, Nathaniel. editor. edt http://id.loc.gov/vocabulary/relators/edt Gopinath, Divya. editor. edt http://id.loc.gov/vocabulary/relators/edt Shi, Nija. editor. edt http://id.loc.gov/vocabulary/relators/edt SpringerLink (Online service) text sz 2024 1st ed. 2024. monographic eng

electronic

electronic resource

access XXIII, 438 p. 89 illus., 61 illus. in color. online resource. 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. edited by Nathaniel Benz, Divya Gopinath, Nija Shi. Software engineering Computer science Computer engineering Computer networks  Artificial intelligence Computer simulation Software Engineering Theory of Computation Computer Engineering and Networks Artificial Intelligence Computer Modelling QA76.758 9783031606984 https://doi.org/10.1007/978-3-031-60698-4 https://doi.org/10.1007/978-3-031-60698-4 240527 20251030112101.0 978-3-031-60698-4