Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano. Automatic Synthesis of Static Fault Trees from System Models. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea. pages 127-136, IEEE, 2011. [doi]
@inproceedings{XiangYMT11,
title = {Automatic Synthesis of Static Fault Trees from System Models},
author = {Jianwen Xiang and Kazuo Yanoo and Yoshiharu Maeno and Kumiko Tadano},
year = {2011},
doi = {10.1109/SSIRI.2011.32},
url = {http://doi.ieeecomputersociety.org/10.1109/SSIRI.2011.32},
researchr = {https://researchr.org/publication/XiangYMT11},
cites = {0},
citedby = {0},
pages = {127-136},
booktitle = {Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea},
publisher = {IEEE},
isbn = {978-0-7695-4453-3},
}