Research Catalog

A formal model of partitioning for integrated modular avionics

Title
  1. A formal model of partitioning for integrated modular avionics [microform] / Ben L. Di Vito.
Published by
  1. Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Springfield, VA : National Technical Information Service, distributor, [1998]
Author
  1. Di Vito, Ben L.

Details

Additional authors
  1. Langley Research Center.
  2. United States. National Aeronautics and Space Administration.
Description
  1. 1 v.
Series statement
  1. [NASA contractor report] ; NASA/CR-1998-208703
Uniform title
  1. NASA contractor report ; NASA CR-208703.
Subject
  1. Airborne/spaceborne computers
  2. Aircraft industry
  3. Avionics
  4. Computer information security
  5. Transport aircraft
Call number
  1. READEX Microfiche NAS 1.26:208703
Note
  1. Shipping list no.: 99-0618-M.
Reproduction (note)
  1. Microfiche.
Author
  1. Di Vito, Ben L.
Title
  1. A formal model of partitioning for integrated modular avionics [microform] / Ben L. Di Vito.
Imprint
  1. Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Springfield, VA : National Technical Information Service, distributor, [1998]
Series
  1. [NASA contractor report] ; NASA/CR-1998-208703
  2. NASA contractor report ; NASA CR-208703.
Reproduction
  1. Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1999] 1 microfiche.
Added author
  1. Langley Research Center.
  2. United States. National Aeronautics and Space Administration.
Gpo item no.
  1. 0830-H-14 (MF)
Sudoc no.
  1. NAS 1.26:208703
Research call number
  1. READEX Microfiche NAS 1.26:208703
View in legacy catalog