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 : 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

Description

1 volume

Series Statement

NASA contractor report ; 191466

Uniform Title

NASA contractor report ; NASA CR-191466.

Subject

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

30819997

Author

Fura, David A.

Title

Towards the formal verification of the requirements and design of a processor interface unit : 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]

Type of Content

text

Type of Medium

microform

Type of Carrier

microfiche

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, Gerald C.

Langley Research Center.

Gpo Item No.

0830-H-14 (MF)

Sudoc No.

NAS 1.26:191466

View in Legacy Catalog