Marco Bozzano等人：基于模型的模态转换安全分析。(2020) conf/safecomp/Bozzano MSTV20 10.1007/978-3-030-54549-9_7 模态转换的基于模型的安全分析。 5 马可·波扎诺 1 蒙克 2 马库斯·施韦泽 三 斯特凡诺·托内塔 4 维克托里亚·沃扎罗娃 5 99-114 SAFECOMP公司 SAFECOMP公司 2020 2020 dblp记录“conf/safecomp/BozzanoMSTV20”的RDF数据的来源信息 2020-08-20T14:38:38+0200