High Level Failure Analysis for Integrated Modular Avionics

Philippa Conmy, John A. McDermid. High Level Failure Analysis for Integrated Modular Avionics. In Peter A. Lindsay, editor, Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001. Volume 3 of CRPIT, pages 13-22, Australian Computer Society, 2001. [doi]

Abstract

Abstract is missing.