SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach
1 references·1 citing·8 second hop
Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach (2016)Formalization of Fault Trees in Higher-or…Fault Tree Analysis for Safety/Security Verification in Aviation Software (2013)Fault Tree Analysis for Safet…Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. (2019)Probabilistic Analysis of Dyn…Fault Tree Handbook (1987)System Safety for the 21stCentury (2004)Cyber LOPA: An Integrated Approach for the Design of Dependable and Secure Cyber-Physical Systems (2022)Development and Implementation of a Direct Evaluation Solution for Fault Tree Analyses Competing With Traditional Minimal Cut Sets Methods (2022)Assessment of human error contribution to container loss risk under fault tree analysis and interval type-2 fuzzy logic-based SLIM approach (2023)The Galileo fault tree analysis tool (2003)Monte Carlo Simulation (2013)Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools (2015)
this work references cited by second hop

References

  • 2013Fault Tree Analysis for Safety/Security Verification in Aviation Software46 cited

Cited by

  • 2019Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving.10 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work