LEADER 03229nam  22007575  450 
001 9910349456803321
005 20251225202059.0
010   $a9783319779355
010   $a3319779354
024 7 $a10.1007/978-3-319-77935-5
035   $a(CKB)4100000002965227
035   $a(DE-He213)978-3-319-77935-5
035   $a(MiAaPQ)EBC5577869
035   $a(PPN)226696391
035   $a(EXLCZ)994100000002965227
100   $a20180310d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aNASA Formal Methods $e10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /$fedited by Aaron Dutle, César Muñoz, Anthony Narkawicz
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XI, 470 p. 156 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10811
311 08$a9783319779348 
311 08$a3319779346 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018 . The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v10811
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer simulation
606   $aArtificial intelligence
606   $aComputer science
606   $aElectronic digital computers$xEvaluation
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aComputer Modelling
606   $aArtificial Intelligence
606   $aTheory of Computation
606   $aSystem Performance and Evaluation
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer simulation.
615  0$aArtificial intelligence.
615  0$aComputer science.
615  0$aElectronic digital computers$xEvaluation.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aComputer Modelling.
615 24$aArtificial Intelligence.
615 24$aTheory of Computation.
615 24$aSystem Performance and Evaluation.
676   $a004.0151
702   $aDutle$b Aaron$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMuñoz$b César$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNarkawicz$b Anthony$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349456803321
996   $aNASA Formal Methods$92860155
997   $aUNINA