安东尼拉·古佐（Antonella Guzzo）等人：建模并有效检测安全关键动作序列。(2020) 期刊/fgcs/GuzzoIPS20 2016年10月10日/J.未来.2020.06.054 问题11504316 建模并有效检测安全关键的操作序列。 4 安东尼拉·古佐 1 米歇尔·伊安尼 2 安德烈亚·普格利泽0001 三 多梅尼科·萨卡 4 196-206 未来一代。计算。系统。 未来一代。计算。系统。 113 2020 dblp记录“journals/fgcs/GuzzoIPS20”的RDF数据的来源信息 2023-08-28T21:32:33+0200