Efficient reachability graph development for qualitive analysis of state/event fault trees.

Michael Roth Agus Hartoyo Peter Liggesmeyer

Published in: ISSRE Workshops (2015)

Keyphrases

state space
statistical analysis
fault diagnosis
image segmentation
software engineering
information processing
development process
data sets
decision trees
case study
control system
knowledge based systems
tree structure
graph theory
graph model
graph representation