The Resource A methodology for the design and verification of globally asynchronous/locally synchronous architectures, Steven P. Miller ... [et al.], (electronic resource)

A methodology for the design and verification of globally asynchronous/locally synchronous architectures, Steven P. Miller ... [et al.], (electronic resource)

Label
A methodology for the design and verification of globally asynchronous/locally synchronous architectures
Title
A methodology for the design and verification of globally asynchronous/locally synchronous architectures
Statement of responsibility
Steven P. Miller ... [et al.]
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
Funding information
Prepared under cooperative agreement
Government publication
federal national government publication
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
  • technical reports
http://library.link/vocab/relatedWorkOrContributorName
  • Miller, Steven P
  • Langley Research Center
Series statement
NASA/CR
Series volume
2005-213912
http://library.link/vocab/subjectName
  • Complex systems
  • Program verification (computers)
  • Synchronism
  • Proving
  • Computers
Label
A methodology for the design and verification of globally asynchronous/locally synchronous architectures, Steven P. Miller ... [et al.], (electronic resource)
Link
http://purl.fdlp.gov/GPO/gpo19353
Instantiates
Publication
Note
  • Title from title screen (viewed on March 5, 2012)
  • "September 2005."
  • Available online
Bibliography note
Includes bibliographical references. (p. 34-35)
Color
mixed
Control code
ocn779188644
Dimensions
unknown
Extent
1 online resource (vi, 35 p.)
Form of item
online
Other physical details
ill.
Specific material designation
remote
Label
A methodology for the design and verification of globally asynchronous/locally synchronous architectures, Steven P. Miller ... [et al.], (electronic resource)
Link
http://purl.fdlp.gov/GPO/gpo19353
Publication
Note
  • Title from title screen (viewed on March 5, 2012)
  • "September 2005."
  • Available online
Bibliography note
Includes bibliographical references. (p. 34-35)
Color
mixed
Control code
ocn779188644
Dimensions
unknown
Extent
1 online resource (vi, 35 p.)
Form of item
online
Other physical details
ill.
Specific material designation
remote

Library Locations

Library Links

Processing Feedback ...