Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance (1999)

by John Rushby
Citations:94 - 5 self