LEADER 01779nam  2200505Ia 450 
001 9910701854503321
005 20120622112657.0
035   $a(CKB)5470000002421563
035   $a(OCoLC)796085603
035   $a(EXLCZ)995470000002421563
100   $a20120622d2011      ua             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 12$aA methodology for evaluating artifacts produced by a formal verification process$b[electronic resource] /$fRadu I. Siminiceanu, Paul S. Miner and Suzette Person
210  1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2011]
215   $a1 online resource (23 pages) $ccolor illustrations
225 1 $aNASA/TM ;$v2011-217193
300   $aTitle from title screen (viewed on June 22, 2012).
300   $a"November 2011."
320   $aIncludes bibliographical references (page 22).
606   $aProgram verification (computers)$2nasat
606   $aFormalism$2nasat
606   $aEthernet$2nasat
606   $aFault tolerance$2nasat
606   $aAlgorithms$2nasat
606   $aDesign analysis$2nasat
615  7$aProgram verification (computers)
615  7$aFormalism.
615  7$aEthernet.
615  7$aFault tolerance.
615  7$aAlgorithms.
615  7$aDesign analysis.
700   $aSiminiceanu$b Radu I$01405428
701   $aMiner$b Paul S.$f1962-$01405429
701   $aPerson$b Suzette$01405430
712 02$aNASA Glenn Research Center.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910701854503321
996   $aA methodology for evaluating artifacts produced by a formal verification process$93481898
997   $aUNINA