Specification of Dynamic Fault Tree Concepts with Stochastic Petri Nets.

Lena Herscheid Peter Tröger

Published in: SERE (2014)

Keyphrases

fault tree
qualitative analysis
dynamic environments
high level declarative
artificial intelligence
domain ontology
computer aided
cluster analysis
formal specification
gas turbine