Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks
KeywordFault tree analysis
Model-based safety analysis
Dynamic fault trees
Temporal fault trees
Rights© 2018 Elsevier Ltd. Reproduced in accordance with the publisher's self-archiving policy. This manuscript version is made available under the CC-BY-NC-ND 4.0 license.