Cover Image

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
Description
Item Description:Title from title screen (viewed on March 5, 2012).
"September 2005."
Electronic resource.
Physical Description:1 online resource (vi, 35 pages) : illustrations
Bibliography:Includes bibliographical references. (pages 34-35).