LEADER 01645nam 2200469I 450 001 9910703728503321 005 20150702142613.0 035 $a(CKB)5470000002434438 035 $a(OCoLC)912937074 035 $a(EXLCZ)995470000002434438 100 $a20150702j201408 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aToward automatic verification of goal-oriented flow simulations /$fMarian Nemec, Michael J. Aftosmis 210 1$aMoffett Field, CA :$cNational Aeronautics and Space Administration, Ames Research Center,$dAugust 2014. 215 $a1 online resource (47 pages) $cillustrations 225 1 $aNASA/TM ;$v2014-218386 300 $aTitle from title screen (viewed on July 2, 2015). 300 $a"August 2014." 320 $aIncludes bibliographical references (pages 43-47). 606 $aCartesian coordinates$2nasat 606 $aComputational fluid dynamics$2nasat 606 $aDiscretization (mathematics)$2nasat 606 $aFinite volume method$2nasat 606 $aFlow equations$2nasat 615 7$aCartesian coordinates. 615 7$aComputational fluid dynamics. 615 7$aDiscretization (mathematics) 615 7$aFinite volume method. 615 7$aFlow equations. 700 $aNemec$b Maria?n$01416067 702 $aAftosmis$b Michael J. 712 02$aAmes Research Center, 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910703728503321 996 $aToward automatic verification of goal-oriented flow simulations$93520066 997 $aUNINA