Subject
Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality
Reference21 articles.
1. Modeling with generalized stochastic petri nets;AjmoneMarsan,1994
2. Allen JF.. Maintaining knowledge about temporal intervals. In: Communications of the ACM. 26/11/1983. ACM Press. p. 832–843, issn:0001-0782.
3. Bobbio Andrea, Codetta Raiteri Daniele. Parametric fault trees with dynamic gates and repair boxes. In: Proceedings of the annual reliability and maintainability symposium (RAMS 2004). Los Angeles, CA, USA; 2004. p. 459–65.
4. Boudali H, Crouzen P, Stoelinga M.. Dynamic fault tree analysis through input/output interactive Markov chains. In: Proceedings of international conference on dependable systems and networks (DSN 2007), IEEE Computer Society; 2007. p. 25–38.
5. Boudali H, Crouzen P, Stoelinga M. A compositional semantics for dynamic fault trees in terms of interactive Markov chains. In: Proceedings of international symposium on automated technology for verification and analysis (ATVA׳07). Springer Verlag – LNCS vol no. 4762; 2007. p. 441–56.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献