A methodology for the design and verification of globally asynchronous/locally synchronous architectures /

Saved in:
Bibliographic Details
Imprint:Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2005]
Description:1 online resource (vi, 35 p.) : ill.
Language:English
Series:NASA/CR ; 2005-213912
NASA contractor report ; NASA CR-213912.
Subject:Complex systems.
Program verification (computers)
Synchronism.
Proving.
Computers.
Coincidence.
Computers.
Synchronization.
Format: E-Resource U.S. Federal Government Document Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/8734590
Hidden Bibliographic Details
Other authors / contributors:Miller, Steven P.
Langley Research Center.
Notes:Title from title screen (viewed on March 5, 2012).
"September 2005."
Includes bibliographical references. (p. 34-35).
Prepared under cooperative agreement NCCI-01001 23-079-30-10
GPO item no.:0830-H-14 (online)
Govt.docs classification:NAS 1.26:2005-213912