Jianwen Xiang, Kokichi Futatsugi, Yanxiang He. Formal fault tree construction and system safety analysis. In IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004. pages 378-384, IASTED/ACTA Press, 2004.
Abstract is missing.