Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Fault Tree Analysis for Safety/Security Verification in Aviation Software

2 references·5 citing·24 second hop

FromToDepth

this work references cited by second hop

References

1987Fault Tree Handbook775 cited
2004System Safety for the 21stCentury52 cited

Cited by

2022Cyber LOPA: An Integrated Approach for the Design of Dependable and Secure Cyber-Physical Systems22 cited
2016Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach17 cited
2023Assessment of human error contribution to container loss risk under fault tree analysis and interval type-2 fuzzy logic-based SLIM approach13 cited
2022Development and Implementation of a Direct Evaluation Solution for Fault Tree Analyses Competing With Traditional Minimal Cut Sets Methods12 cited
2022Tenerife Accident Analysis: a comparison of Fault Tree Analysis, Failure Mode and Effects Analysis and Causal Analysis based on System Theory8 cited

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