Formal Fault Tree Analysis - Practical Experiences.
Frank OrtmeierGerhard SchellhornPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- practical experiences
- fault tree analysis
- fault tree
- fuzzy numbers
- information technology
- metadata
- formal model
- computer aided
- gas turbine
- fault diagnosis
- data sets
- friendly interface
- fuzzy logic
- database
- quantitative analysis
- image analysis
- computer vision
- formal specification
- mathematical theory
- machine learning
- neural network
- databases