Tomeki

A formal model of partitioning for integrated modular avionics

A formal model of partitioning for integrated modular avionics

By Ben L. Di Vito

0 (0 Ratings)
0 Want to read0 Currently reading0 Have read

Publish Date

1998

Publisher

National Aeronautics and Space Administration, Langley Research Center,National Technical Information Service, distributor

Language

eng

Pages

-

1-1 of 1 Editions

A formal model of partitioning for integrated modular avionics

View A formal model of partitioning for integrated modular avionics
A formal model of partitioning for integrated modular avionics

Language: eng

Published In: 1998

Publisher: National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor