Formal fault tree construction and system safety analysis

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

Abstract is missing.