TY - Journal of Computer Applications A1 - QIN Nan, MA Liang, HUANG Rui T1 - Software safety requirement analysis and verification method based on system theoretic process analysis Y1 - 2020-11-10 JF - Journal of Computer Applications JO - Journal of Computer Applications SP - 3261 EP - 3266 VL - 40 IS - 11 UR - http://www.joca.cn N1 - 10.11772/j.issn.1001-9081.2020040548 ER -