1. Department of Education, Chengdu Vocational College of Agricultural Science and Technology, Wenjiang Sichuan 611130, China 2. Institute of Mechanical and Electrical, Chengdu Vocational College of Agricultural Science and Technology, Wenjiang Sichuan 611130, China 3. School of Automation Engineering, University of Electronic Science and Technology of China, Chengdu Sichuan 611731, China
LUO Ze-lin REN Qiang LUO Hang. Joint method of realizing PIS of non-monotonic coherent fault tree [J]. Journal of Computer Applications, 2011, 31(11): 3143-3148.