TY - 计算机科学与探索 A1 - 张维珺,胡军,李宛倩,陈朔,石梦烨,唐红英 T1 - 安全关键系统需求形式化建模分析实例研究 Y1 - 2019-08-01 JF - 计算机科学与探索 JO - 计算机科学与探索 SP - 1295 EP - 1306 VL - 13 IS - 8 UR - http://fcst.ceaj.org N1 - 10.3778/j.issn.1673-9418.1806044 ER -