Title: A formal model of partitioning for integrated modular avionics
Subjects: Avionics, Airborne/spaceborne computers, Computer information security, Aircraft industry, Transport aircraft