Publisher
Springer Science and Business Media LLC
Subject
Safety, Risk, Reliability and Quality,Software
Reference24 articles.
1. Boudali, H., Crouzen, P., & Stoelinga, M. (2010). A rigorous, compositional, and extensible framework for dynamic fault tree analysis. Dependable and Secure Computing, IEEE Transactions on, 7(2), 128–143.
2. Chen, D., Mahmud, N., Walker, M., Feng, L., Lönn, H., & Papadopoulos, Y. (2013). Systems modeling with EAST-ADL for fault tree analysis through HiP-HOPS. In Proceedings of the 4th International Federation of Automatic Control (IFAC) Workshop on Dependable Control of Discrete Systems (DCDS), York, (pp. 91-96). IFAC
3. Crouzen, P., Hermanns, H., & Zhang, L. (2008). On the minimisation of acyclic models. In International conference on concurrency theory (pp. 295–309). Berlin Heidelberg: Springer.
4. Dehlinger, J., & Dugan, J. B. (2008). Analyzing dynamic fault trees derived from model-based system architectures. Nuclear Engineering and Technology: An International Journal of the Korean Nuclear Society, 40(5), 365–374.
5. Dugan, J. B., Bavuso, S. J., & Boyd, M. A. (1992). Dynamic fault-tree models for fault-tolerant computer systems. Reliability, IEEE Transactions on, 41(3), 363–377.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献