| 书目名称 | NASA Formal Methods |
| 副标题 | 16th International S |
| 编辑 | Nathaniel Benz,Divya Gopinath,Nija Shi |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .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.. |
| 出版日期 | Conference proceedings 2024 |
| 关键词 | Formal methods; Formal methods; Formal specification; Program analysis; Reactive synthesis; Program synth |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-60698-4 |
| isbn_softcover | 978-3-031-60697-7 |
| isbn_ebook | 978-3-031-60698-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
发表于 2025-3-21 19:33:59
