000			01682nam a2200373Ia 4500
000			04230nam a22003975i 4500
001			978-3-031-33170-1
003			DE-He213
005			20240319120919.0
007			cr nn 008mamaa
008			230602s2023 sz | s |||| 0|eng d
020			_a9783031331701 _9978-3-031-33170-1
082			_a5.1
245			_aNASA Formal Methods _cedited by Kristin Yvonne Rozier, Swarat Chaudhuri. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aXXIII, 490 p. 149 illus., 89 illus. in color. _bonline resource.
520			_aThis 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. .
650			_aArtificial intelligence. _932370
650			_aArtificial Intelligence. _932371
650			_aComputer Engineering and Networks. _932372
650			_aComputer engineering. _932373
650			_aComputer Modelling. _932374
650			_aComputer networks . _932375
650			_aComputer science. _932376
650			_aComputer simulation. _932377
650			_aSoftware engineering. _932378
650			_aSoftware Engineering. _932379
650			_aTheory of Computation. _932380
700			_aChaudhuri, Swarat. _932381
700			_aRozier, Kristin Yvonne. _932382
856			_uhttps://doi.org/10.1007/978-3-031-33170-1
942			_cEBK _2ddc
999			_c15296 _d15296