共 2 条
[2]
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis[J] . Boudali,Hichem,Crouzen,Pepijn,Stoelinga,Marielle.IEEE Transactions on Dependable and Secure Computing . 2010 (2)