Research Catalog

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

Title
Towards the formal verification of the requirements and design of a processor interface unit [microform] : HOL listings / David A. Fura, Philip 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, Philip J.
  • Cohen, G. C. (Gerald C.)
  • Langley Research Center.
Description
1 v.
Series Statement
NASA contractor report ; 191466
Uniform Title
NASA contractor report ; NASA CR-191466.
Subject
  • Specifications
  • Reliability (Engineering)
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 94-0250-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:191466
OCLC
marcive30819997
Author
Fura, David A.
Title
Towards the formal verification of the requirements and design of a processor interface unit [microform] : HOL listings / David A. Fura, Philip 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 ; 191466
NASA contractor report ; NASA CR-191466.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1994] 2 microfiches.
Added Author
Windley, Philip J.
Cohen, G. C. (Gerald C.)
Langley Research Center.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:191466
Research Call Number
READEX Microfiche NAS 1.26:191466
View in Legacy Catalog