. . . . . “Gang Yu等人：一种基于安全要求的安全关键软件系统自动安全测试方法。（2009）”。 . . _：ID_ab7b9f78fb9c91f191b44531f6451630。_：ID_ab7b9f78fb9c91f191b44531f6451630 ._：ID_ab7b9f78fb9c91f191b44531f6451630 ._：ID_ab7b9f78fb9c91f191b44531f6451630“conf/ifita/YuXD09”。 _：ID_d9dad7ee031f96b45e9137d69ffbbc90。_：ID_d9dad7ee031f96b45e9137d69ffbbc90 ._：ID_d9dad7ee031f96b45e9137d69ffbbc90 ._：识别号_d9dad7ee031f96b45e9137d69ffbbc90“10.1109/IFITA.2009.18”。 “基于安全要求的安全关键软件系统自动安全测试方法”。 . . . . "3"^^. _：Sig_63756f72e4d97bad49ae152bdf81ffec_1。_：Sig_63756f72e4d97bad49ae152bdf81ffec_1 ._：Sig_63756f72e4d97bad49ae152bdf81ffec_1“刚玉”。_：Sig_63756f72e4d97bad49ae152bdf81ffec_1 ._：Sig_63756f72e4d97bad49ae152bdf81ffec_1"1"^^._：Sig_63756f72e4d97bad49ae152bdf81ffec_1 . _：Sig_63756f72e4d97bad49ae152bdf81ffec_2。_：Sig_63756f72e4d97bad49ae152bdf81ffec_2 ._：Sig_63756f72e4d97bad49ae152bdf81ffec_2“徐中伟”。_：Sig_63756f72e4d97bad49ae152bdf81ffec_2 ._：Sig_63756f72e4d97bad49ae152bdf81ffec_2"2"^^._：信号_63756f72e4d97bad49ae152bdf81ffec_2 . _：Sig_63756f72e4d97bad49ae152bdf81ffec_3。_：Sig_63756f72e4d97bad49ae152bdf81ffec_3 ._：Sig_63756f72e4d97bad49ae152bdf81ffec_3“杜军伟”。_：Sig_63756f72e4d97bad49ae152bdf81ffec_3 ._：Sig_63756f72e4d97bad49ae152bdf81ffec_3"3"^^._：Sig_63756f72e4d97bad49ae152bdf81ffec_3 . . . . . "166-169" . “IFITA（3）”。 “IFITA（3）”。 "2009"^^. "2009"^^. . “dblp记录'conf/ifita/YuXD09'的RDF数据的出处信息”。 . . . “2023-03-24T00:03:33+0100”。