01528nam 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