. . . . . “Marco Bozzano等人：基于SMT的失效传播有效分析。（2021）”。 . . _：ID_d355f8ab707e1985ab4c2453c6b14f44。_：ID_d355f8ab707e1985ab4c2453c6b14f44 ._：ID_d355f8ab707e1985ab4c2453c6b14f44 ._：ID_d355f8ab707e1985ab4c2453c6b14f44“conf/cav/BozzanoCPGJK20”。 _：ID_d3f400f4d1eec9c81906c811871091个。_：ID_d3f400f4d1eec9c81906c811871091个 ._：ID_d3f400f4d1eec9c81906c811871091个 ._：ID_d3f400f4d1eec9c81906c811871091个"10.1007/978-3-030-81688-9_10" . “基于SMT的失效传播高效分析”。 . . . . . . . "6"^^. _：Sig_30eeb36e1a54a94108e4df167087df00_1。_：Sig_30eeb36e1a54a94108e4df167087df00_1 ._：信号_30eeb36e1a54a94108e4df167087df00_1“马尔科·博扎诺”。_：信号_30eeb36e1a54a94108e4df167087df00_1 ._：Sig_30eeb36e1a54a94108e4df167087df00_1 ._：Sig_30eeb36e1a54a94108e4df167087df00_1"1"^^._：Sig_30eeb36e1a54a94108e4df167087df00_1 . _：Sig_30eeb36e1a54a94108e4df167087df00_2。_：Sig_30eeb36e1a54a94108e4df167087df00_2 ._：Sig_30eeb36e1a54a94108e4df167087df00_2“亚历山德罗·西马蒂”。_：Sig_30eeb36e1a54a94108e4df167087df00_2 ._：Sig_30eeb36e1a54a94108e4df167087df00_2 ._：Sig_30eeb36e1a54a94108e4df167087df00_2"2"^^._：Sig_30eeb36e1a54a94108e4df167087df00_2 . _：Sig_30eeb36e1a54a94108e4df167087df00_3。_：Sig_30eeb36e1a54a94108e4df167087df00_3 ._：Sig_30eeb36e1a54a94108e4df167087df00_3“安东尼·费尔南德斯·皮雷”。_：Sig_30eeb36e1a54a94108e4df167087df00_3 ._：Sig_30eeb36e1a54a94108e4df167087df00_3"3"^^._：Sig_30eeb36e1a54a94108e4df167087df00_3 . _：Sig_30eeb36e1a54a94108e4df167087df00_4。_：Sig_30eeb36e1a54a94108e4df167087df00_4 ._：Sig_30eeb36e1a54a94108e4df167087df00_4“阿尔贝托·格里乔”。_：Sig_30eeb36e1a54a94108e4df167087df00_4 ._：Sig_30eeb36e1a54a94108e4df167087df00_4 ._：信号_30eeb36e1a54a94108e4df167087df00_4"4"^^._：Sig_30eeb36e1a54a94108e4df167087df00_4 . _：Sig_30eeb36e1a54a94108e4df167087df00_5。_：Sig_30eeb36e1a54a94108e4df167087df00_5 ._：Sig_30eeb36e1a54a94108e4df167087df00_5“Martin Jon\u00E1s”。_：Sig_30eeb36e1a54a94108e4df167087df00_5 ._：Sig_30eeb36e1a54a94108e4df167087df00_5 ._：Sig_30eeb36e1a54a94108e4df167087df00_5"5"^^._：Sig_30eeb36e1a54a94108e4df167087df00_5 . _：Sig_30eeb36e1a54a94108e4df167087df00_6。_：Sig_30eeb36e1a54a94108e4df167087df00_6 ._：Sig_30eeb36e1a54a94108e4df167087df00_6“格雷格·金伯利”。_：信号_30eeb36e1a54a94108e4df167087df00_6 ._：Sig_30eeb36e1a54a94108e4df167087df00_6"6"^^._：Sig_30eeb36e1a54a94108e4df167087df00_6 . . . . "209-230" . “CAV（2）”。 “CAV（2）”。 "2021"^^. "2021"^^. . “dblp记录'conf/cav/BozzanoCPGJK20'的RDF数据的来源信息”。 . . . “2021-08-12T17:51:20+0200”。