Specification of Dynamic Fault Tree Concepts with Stochastic Petri Nets

Lena Herscheid, Peter Tröger. Specification of Dynamic Fault Tree Concepts with Stochastic Petri Nets. In Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014. pages 177-186, IEEE, 2014. [doi]

Abstract

Abstract is missing.