LEADER 01500nam  2200457I  450 
001 9910705738003321
005 20170628074020.0
035   $a(CKB)5470000002453028
035   $a(OCoLC)992118912
035   $a(EXLCZ)995470000002453028
100   $a20170628j201702    ua             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal methods tool qualification /$fLucas G. Wagner [and four others]
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dFebruary 2017.
215   $a1 online resource (40 pages) $ccolor illustrations
225 1 $aNASA/CR ;$v2017-219371
300   $a"February 2017."
300   $a"Performing organization: NASA Langley Research Center"--Report documentation page."
320   $aIncludes bibliographical references (pages 38-40).
606   $aAvionics$2nasat
606   $aDigital systems$2nasat
606   $aCertification$2nasat
606   $aIdentifying$2nasat
606   $aQualifications$2nasat
615  7$aAvionics.
615  7$aDigital systems.
615  7$aCertification.
615  7$aIdentifying.
615  7$aQualifications.
700   $aWagner$b Lucas G.$01403064
712 02$aLangley Research Center,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910705738003321
996   $aFormal methods tool qualification$93474840
997   $aUNINA