01608nam 2200457Ia 450 991070138520332120120305143343.0(CKB)5470000002417212(OCoLC)779188644(EXLCZ)99547000000241721220120305d2005 ua 0engurmn|||||||||txtrdacontentcrdamediacrrdacarrierA methodology for the design and verification of globally asynchronous/locally synchronous architectures[electronic resource] /Steven P. Miller ... [and others]Hampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[2005]1 online resource (vi, 35 pages) illustrationsNASA/CR ;2005-213912Title from title screen (viewed on March 5, 2012)."September 2005."Includes bibliographical references. (pages 34-35)Complex systemsnasatProgram verification (computers)nasatSynchronismnasatProvingnasatComputersnasatComplex systems.Program verification (computers)Synchronism.Proving.Computers.Miller Steven P1205252Langley Research Center.GPOGPOBOOK9910701385203321A methodology for the design and verification of globally asynchronous3545375UNINA