A formal model of partitioning for integrated modular avionics
An edition of A formal model of partitioning for integrated modular avionics (1998)
By Ben L. Di Vito
Publish Date
1998
Publisher
National Aeronautics and Space Administration, Langley Research Center,National Technical Information Service, distributor
Language
eng
Pages
-