A methodology for the design and verification of globally asynchronous/locally synchronous architectures [electronic resource] / Steven P. Miller ... [and others]

Saved in:

Bibliographic Details
Online Access:	Online Access Online Access
Corporate Author:	Langley Research Center
Other Authors:	Miller, Steven P.
Format:	Government Document Electronic 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.

Internet

Online Access
Online Access

Holdings details from Online
Call Number:	NAS 1.26:2005-213912
NAS 1.26:2005-213912	Available