A methodology for the design and verification of globally asynchronous/locally synchronous architectures /
Saved in:
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 |