TY - Computer Science A1 - HU Jun, SHI Jiao-jie, CHENG Zhen, CHEN Song and WANG Ming-ming T1 - System Safety Modeling and Analysis Method Based on Four-variable Model Y1 - 2018-12-01 JF - Computer Science JO - Computer Science SP - 193 EP - 199 VL - 43 IS - 11 UR - https://www.jsjkx.com N1 - 10.11896/j.issn.1002-137X.2016.11.038 ER -