Skip to main content

Research Repository

Advanced Search

Outputs (1)

Pandora : a logic for the qualitative analysis of temporal fault trees (2009)
Thesis
Walker, M. (. D. (2009). Pandora : a logic for the qualitative analysis of temporal fault trees. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4209344

Fault Tree Analysis (FTA) is a valuable systems analysis technique widely used in safety analysis and reliability engineering, but it is not without its faults; in particular, it struggles to analyse systems in which time plays an important role, bec... Read More about Pandora : a logic for the qualitative analysis of temporal fault trees.