LEADER 02123oam  2200577   450 
001 9910707240003321
005 20160621152110.0
035   $a(CKB)5470000002463109
035   $a(OCoLC)951986184
035   $a(EXLCZ)995470000002463109
100   $a20160621j199605    ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 13$aAn introduction to requirements capture using PVS $especification of a simple autopilot /$fRicky W. Butler
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dMay 1996.
215   $a1 online resource (iii, 29 pages)$cillustrations
225 1 $aNASA technical memorandum ;$v110255
300   $aTitle from title screen (viewed June 20, 2016).
300   $a"May 1996."
300   $a"Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page.
320   $aIncludes bibliographical references (pages 24-25).
517   $aIntroduction to requirements capture using PVS 
606   $aComputer programming$2nasat
606   $aComputer programs$2nasat
606   $aUser requirements$2nasat
606   $aSoftware development tools$2nasat
606   $aProgram verification (computers)$2nasat
606   $aSoftware reliability$2nasat
606   $aEquations of state$2nasat
606   $aSpecifications$2nasat
615  7$aComputer programming.
615  7$aComputer programs.
615  7$aUser requirements.
615  7$aSoftware development tools.
615  7$aProgram verification (computers)
615  7$aSoftware reliability.
615  7$aEquations of state.
615  7$aSpecifications.
700   $aButler$b Ricky W.$01398460
712 02$aLangley Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
801  2$bGPO
906   $aBOOK
912   $a9910707240003321
996   $aAn introduction to requirements capture using PVS$93461774
997   $aUNINA

LEADER 02154oam  2200577Ia 450 
001 9910702287103321
005 20121015144117.0
035   $a(CKB)5470000002425274
035   $a(OCoLC)812893901
035   $a(EXLCZ)995470000002425274
100   $a20121015d1989      ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAge-related changes in human vestibulo-ocular and optokinetic reflexes$b[electronic resource] $epseudorandom rotation tests /$fR. J. Peterka. F. O. Black and M. B. Schoenhoff
210  1$aPortland, OR :$cGood Samaritan Hospital and Medical Center ;$a[Washington, D.C.]:$c[National Aeronautics and Space Administration],$d[1989]
215   $a1 online resource (27 pages, 5 unnumbered pages) $cillustrations
225 1 $a[NASA contractor report ;$vNASA-CR-185856
300   $aTitle from title screen (viewed Oct. 15, 2012).
320   $aIncludes bibliographical references (pages 19-21).
517   $aAge-related changes in human vestibulo-ocular and optokinetic reflexes 
606   $aAge factor$2nasat
606   $aEye movements$2nasat
606   $aHuman performance$2nasat
606   $aReflexes$2nasat
606   $aVestibular tests$2nasat
606   $aVisual perception$2nasat
606   $aVisual stimuli$2nasat
606   $aVisual tasks$2nasat
615  7$aAge factor.
615  7$aEye movements.
615  7$aHuman performance.
615  7$aReflexes.
615  7$aVestibular tests.
615  7$aVisual perception.
615  7$aVisual stimuli.
615  7$aVisual tasks.
700   $aPeterka$b Robert J$01400830
701   $aBlack$b F. O$01407525
701   $aSchoenhoff$b M. B$01407526
712 02$aUnited States.$bNational Aeronautics and Space Administration.
712 02$aGood Samaritan Hospital & Medical Center (Portland, Or.)
801  0$bGPO
801  1$bGPO
801  2$bGPO
906   $aBOOK
912   $a9910702287103321
996   $aAge-related changes in human vestibulo-ocular and optokinetic reflexes$93489234
997   $aUNINA