@article{HU Jun:193, author = {HU Jun, SHI Jiao-jie, CHENG Zhen, CHEN Song and WANG Ming-ming}, title = {System Safety Modeling and Analysis Method Based on Four-variable Model}, publisher = {Computer Science}, year = {2016}, journal = {Computer Science}, volume = {43}, number = {11}, eid = {193}, numpages = {6}, pages = {193}, keywords = {Four-variable model,AltaRica modeling language,Fault tree analysis,ARC}, url = {https://www.jsjkx.com/EN/abstract/article_15620.shtml}, doi = {10.11896/j.issn.1002-137X.2016.11.038} }