A formal model of partitioning for integrated modular avionics
Title
A formal model of partitioning for integrated modular avionics [microform] / Ben L. Di Vito.
Published by
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Springfield, VA : National Technical Information Service, distributor, [1998]
A formal model of partitioning for integrated modular avionics [microform] / Ben L. Di Vito.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Springfield, VA : National Technical Information Service, distributor, [1998]
Series
[NASA contractor report] ; NASA/CR-1998-208703
NASA contractor report ; NASA CR-208703.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1999] 1 microfiche.
Added author
Langley Research Center.
United States. National Aeronautics and Space Administration.