00783nam0-22002891i-450-99000649952040332120001010000649952FED01000649952(Aleph)000649952FED0100064995220001010d--------km-y0itay50------baitay-------001yyFrom Rhodesia to ZimbabweLawrence Vambewith a Foreword by Judith ActonLondonHeinemann1976.XIV, 289 p.22 cm968.91Vambe,Lawrence244834ITUNINARICAUNIMARCBK990006499520403321XIV E 3375563FSPBCFSPBCFrom Rhodesia to Zimbabwe654059UNINAGEN0101528nam 2200445I 450 991070245300332120130820125644.0(CKB)5470000002427638(OCoLC)825823139(EXLCZ)99547000000242763820130129d2012 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierModel-driven test generation of distributed systems /Arvind Easwaran, Brendan Hall, and Kevin SchweikerHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[2012]1 online resource (30 pages) color illustrations[NASA contractor report] ;NASA/CR 2012-217764Title from title screen (viewed Jan. 29, 2013)."September 2012."Includes bibliographical references (pages 29).ClocksnasatFault tolerancenasatSynchronismnasatClocks.Fault tolerance.Synchronism.Easwaran Arvind1419674Hall BrendanSchweiker KevinLangley Research Center,United States.National Aeronautics and Space Administration,GPOGPOBOOK9910702453003321Model-driven test generation of distributed systems3534982UNINA