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

Bibliographic Details

Corporate Author:	Langley Research Center
Other Authors:	Miller, Steven P.
Format:	Government Document eBook
Language:	English
Published:	Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2005]
Series:	NASA contractor report ; NASA CR-213912.
Subjects:	Complex systems. Program verification (Computers) Synchronism. Proving. Computers.
Online Access:	https://purl.fdlp.gov/GPO/gpo19353