Jiang, W., & Liu, S. (2025). Verifying the Safety of Formal Specification Using Fault Tree Analysis and Animation. IEEE.
Chicago Style (17th ed.) CitationJiang, Wen, and Shaoying Liu. Verifying the Safety of Formal Specification Using Fault Tree Analysis and Animation. IEEE, 2025.
MLA (9th ed.) CitationJiang, Wen, and Shaoying Liu. Verifying the Safety of Formal Specification Using Fault Tree Analysis and Animation. IEEE, 2025.
Warning: These citations may not always be 100% accurate.