01596nam 2200445I 450 991070245290332120130820125830.0(CKB)5470000002427639(OCoLC)825823216(EXLCZ)99547000000242763920130129d2012 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierModeling techniques for high dependability protocols and architecture /Brian LaValley, Peter Ellis, and Chris J. WalterHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[2012]1 online resource (22 pages) color illustrationsNASA/CR ;2012-217766Title from title screen (viewed Jan. 29, 2013)."September 2012."Includes bibliographical references (pages 22).Fault tolerancenasatArchitecture (computers)nasatProtocol (computers)nasatFault tolerance.Architecture (computers)Protocol (computers)LaValley Brian1407453Ellis PeterWalter C. J(Chris J.),Langley Research Center,United States.National Aeronautics and Space Administration,GPOGPOBOOK9910702452903321Modeling techniques for high dependability protocols and architecture3489005UNINA