Research Catalog

Towards the formal specificatin of the requirements and design of a processor interface unit HOL listings

Title
Towards the formal specificatin of the requirements and design of a processor interface unit [microform] : HOL listings / David A. Fura, Phillip J. Windley, Gerald C. Cohen.
Author
Fura, David A.
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]

Details

Additional Authors
  • Windley, Phillip J.
  • Cohen, G. C. (Gerald C.)
  • Langley Research Center.
Description
1 v.
Series Statement
NASA contractor report ; 191465
Uniform Title
NASA contractor report ; NASA CR-191465.
Subject
  • Computer interfaces > Specifications
  • Fault-tolerant computing
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 94-0441-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:191465
OCLC
marcive31162722
Author
Fura, David A.
Title
Towards the formal specificatin of the requirements and design of a processor interface unit [microform] : HOL listings / David A. Fura, Phillip J. Windley, Gerald C. Cohen.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Series
NASA contractor report ; 191465
NASA contractor report ; NASA CR-191465.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1994] 3 microfiches.
Added Author
Windley, Phillip J.
Cohen, G. C. (Gerald C.)
Langley Research Center.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:191465
Research Call Number
READEX Microfiche NAS 1.26:191465
View in Legacy Catalog