Formal Verification of a Set of Memory Management Units NASA-CR-189566 N92-22192 NAS-126189566

Formal Verification of a Set of Memory Management Units

NASA-CR-189566 N92-22192 NAS-126189566

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 規格・テクニカルリポート類
Title: Formal Verification of a Set of Memory Management Units
Author/Editor: Schubert, E. T
Levitt, K
Cohen, G. C
Extent: microfiche 93 p
Note (Material Type): [microform]
Report No.: テクニカルリポート番号 : NASA-CR-189566
テクニカルリポート番号 : N92-22192
テクニカルリポート番号 : NAS-126189566
Holding library: 国立国会図書館
Call No.: LS-N92/22192
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004951881
http://id.ndl.go.jp/bib/000004951881
Bibliographic Record Category (NDL): 291