. . . . . “Marco Bozzano等人：使用xSAP对三模块发电机进行基于模型的安全评估。（2021）”。 . . _：ID_4c67d6409424f06263b32f5bf3ff39e3。_：ID_4c67d6409424f06263b32f5bf3ff39e3 ._：ID_4c67d6409424f06263b32f5bf3ff39e3 ._：ID_4c67d6409424f06263b32f5bf3ff39e3“期刊/fac/BozzanoCGJM21”。 _：ID_4f6c064b2380e25f8e0c711c8d59ea6d。_：ID_4f6c064b2380e25f8e0c711c8d59ea6d ._：ID_4f6c064b2380e25f8e0c711c8d59ea6d ._：ID_4f6c064b2380e25f8e0c711c8d59ea6d“10.1007/S00165-021-00532-9”。 “使用xSAP对三模块发电机进行基于模型的安全评估”。 . . . . . . "5"^^. _：Sig_e8a6e96aa46aeda6fff2428604453727_1。_：Sig_e8a6e96aa46aeda6fff2428604453727_1 ._：信号_e8a6e96aa46aeda6fff2428604453727_1“马尔科·博扎诺”。_：Sig_e8a6e96aa46aeda6fff2428604453727_1 ._：Sig_e8a6e96aa46aeda6fff2428604453727_1 ._：Sig_e8a6e96aa46aeda6fff2428604453727_1"1"^^._：Sig_e8a6e96aa46aeda6fff2428604453727_1 . _：Sig_e8a6e96aa46aeda6fff2428604453727_2。_：Sig_e8a6e96aa46aeda6fff2428604453727_2 ._：Sig_e8a6e96aa46aeda6fff2428604453727_2“亚历山德罗·西马蒂”。_：Sig_e8a6e96aa46aeda6fff2428604453727_2 ._：Sig_e8a6e96aa46aeda6fff2428604453727_2“2”^^._：Sig_e8a6e96aa46aeda6fff2428604453727_2 . _：信号_e8a6e96aa46aeda6fff2428604453727_3。_：Sig_e8a6e96aa46aeda6fff242864453727_3 ._：Sig_e8a6e96aa46aeda6fff242864453727_3“马可·加里奥”。_：Sig_e8a6e96aa46aeda6fff242864453727_3 ._：Sig_e8a6e96aa46aeda6fff242864453727_3"3"^^._：Sig_e8a6e96aa46aeda6fff242864453727_3 . _：Sig_e8a6e96aa46aeda6fff2428604453727_4。_：Sig_e8a6e96aa46aeda6fff2428604453727_4 ._：Sig_e8a6e96aa46aeda6fff2428604453727_4“大卫·琼斯”。_：信号_e8a6e96aa46aeda6fff2428604453727_4 ._：Sig_e8a6e96aa46aeda6fff2428604453727_4"4"^^._：Sig_e8a6e96aa46aeda6fff2428604453727_4 . _：Sig_e8a6e96aa46aeda6fff2428604453727_5。_：Sig_e8a6e96aa46aeda6fff2428604453727_5 ._：Sig_e8a6e96aa46aeda6fff2428604453727_5“克里斯蒂安·马塔雷”。_：Sig_e8a6e96aa46aeda6fff2428604453727_5 ._：Sig_e8a6e96aa46aeda6fff2428604453727_5"5"^^._：Sig_e8a6e96aa46aeda6fff2428604453727_5 . . . . "251-295" . “形式方面计算”。 “形式方面计算”。 "33" . “2”。 "2021"^^. “dblp记录'journals/fac/BozzanoCGJM21'的RDF数据的来源信息”。 . . . “2022-05-09T16:20:13+0200”。