. . . . . “Marco Bozzano等人：基于模型的模态转换安全分析（2020）”。 . . _：ID_dd3b1ff4eda45312f16d8bcddd69d1。_：ID_dd3b1ff4eda45312f16d8bcddd69d1 ._：ID_dd3b1ff4eda45312f16d8bcddd69d1 ._：ID_dd3b1ff4eda45312f16d8bcddd69d1“conf/safecomp/BozzanoMSTV20”。 _：ID_cb4d81ea2741e0557619903fbad7f47b。_：ID_cb4d81ea2741e0557619903fbad7f47b ._：ID_cb4d81ea2741e0557619903fbad7f47b ._：ID_cb4d81ea2741e0557619903fbad7f47b"10.1007/978-3-030-54549-9_7" . “模态转换的基于模型的安全分析”。 . . . . . . "5"^^. _：Sig_63eae794ec21a6 ce7891352bcc5abd8d_1。_：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_1 ._：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_1“马可·波扎诺”。_：信号_63eae794ec21a6ce7891352cc5abd8d_1 ._：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_1"1"^^._：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_1 . _：Sig_63eae794ec21a6 ce7891352bcc5abd8d_2。_：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_2 ._：信号_63eae794ec21a6ce7891352cc5abd8d_2“彼得·蒙克”。_：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_2 ._：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_2“2”^^._：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_2 . _：Sig_63eae794ec21a6 ce7891352bcc5abd8d_3。_：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_3 ._：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_3“马库斯·施韦泽”。_：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_3 ._：信号_63eae794ec21a6ce7891352cc5abd8d_3"3"^^._：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_3 . _：Sig_63eae794ec21a6 ce7891352bcc5abd8d_4。_：Sig_63 eae794ec21a6 ce7891352bc5abd8d_4 ._：Sig_63 eae794ec21a6 ce7891352bc5abd8d_4“斯特凡诺·托内塔”。_：Sig_63 eae794ec21a6 ce7891352bc5abd8d_4 ._：Sig_63 eae794ec21a6 ce7891352bc5abd8d_4"4"^^._：Sig_63 eae794ec21a6 ce7891352bc5abd8d_4 . _：Sig_63eae794ec21a6 ce7891352bcc5abd8d_5。_：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_5 ._：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_5“Vikt\u00F3ria Voz\u00E1rov\u00E”。_：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_5 ._：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_5"5"^^._：Sig_63 eae794ec21a6 ce7891352bcc5abd8d_5 . . . . "99-114" . “SAFECOMP”。 “SAFECOMP”。 "2020"^^. "2020"^^. . “dblp记录'conf/safecomp/BozzanoMSTV20'的RDF数据的来源信息”。 . . . “2020-08-20T14:38:38+0200”。