LEADER 01596nam  2200445I  450 
001 9910702452903321
005 20130820125830.0
035   $a(CKB)5470000002427639
035   $a(OCoLC)825823216
035   $a(EXLCZ)995470000002427639
100   $a20130129d2012      ua             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModeling techniques for high dependability protocols and architecture /$fBrian LaValley, Peter Ellis, and Chris J. Walter
210  1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2012]
215   $a1 online resource (22 pages) $ccolor illustrations
225 1 $aNASA/CR ;$v2012-217766
300   $aTitle from title screen (viewed Jan. 29, 2013).
300   $a"September 2012."
320   $aIncludes bibliographical references (pages 22).
606   $aFault tolerance$2nasat
606   $aArchitecture (computers)$2nasat
606   $aProtocol (computers)$2nasat
615  7$aFault tolerance.
615  7$aArchitecture (computers)
615  7$aProtocol (computers)
700   $aLaValley$b Brian$01407453
702   $aEllis$b Peter
702   $aWalter$b C. J$g(Chris J.),
712 02$aLangley Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910702452903321
996   $aModeling techniques for high dependability protocols and architecture$93489005
997   $aUNINA