Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW.

Wolfgang Weber, Heidemarie Tondok, Michael Bachmayer

Browse the full SAFECOMP paper archive.