Timing analysis of safety properties using fault trees with time dependencies and timed state-charts.

Jan Magott Pawel Skrobanek

Published in: Reliab. Eng. Syst. Saf. (2012)

Keyphrases

decision trees
finite state machines
information retrieval
tree structure
tree structures
genetic algorithm
social networks
case study
multiscale
data structure
state space
petri net
desirable properties
fault detection
tree construction