• ALPO

  • Referenced in 10 articles [sw00035]
  • This paper describes an implementation of the one...
  • ASTRA

  • Referenced in 12 articles [sw00052]
  • Fault Tree Analysis (FTA) is a formalised deductive...