. . . . . . “Marco Bozzano等人：《使用时间认知逻辑的异步故障检测和识别组件的形式化设计》（2015）”。 . . . _：ID_8d5316e7eb742c70a49e70034b4e75f1。_：ID_8d5316e7eb742c70a49e70034b4e75f1 ._：ID_8d5316e7eb742c70a49e70034b4e75f1 ._：ID_8d5316e7eb742c70a49e70034b4e75f1“期刊/corr/BozzanoCGT15”。 _：ID_905746f27ad01e6df0899bae37f3a9d7。_：ID_905746f27ad01e6df0899bae37f3a9d7 ._：ID_905746f27ad01e6df0899bae37f3a9d7 ._：ID_905746f27ad01e6df0899bae37f3a9d7“10.2168/LMCS-11（4:4）2015”。 _：ID_bc0524cc2dc418834b182cfa4ce7bfd9。_：ID_bc0524cc2dc418834b182cfa4c7bfd9 ._：ID_bc0524cc2dc418834b182cfa4ce7bfd9 ._：ID_bc0524cc2dc418834b182cfa4ce7bfd9"1506.04871" . _：ID_2b6b33223c2985291b36e37bfb43185e。_：ID_2b6b33223c2985291b36e37bfb43185e ._：ID_2b6b33223c2985291b36e37bfb43185e ._：ID_2b6b33223c2985291b36e37bfb43185e“Q62041120”。 “使用时间认知逻辑的异步故障检测和识别组件的形式化设计”。 . . . . . "4"^^. _：Sig_29922a11fbba29b440dd832d5b947335_1。_：Sig_29922a11fbba29b440dd832d5b947335_1 ._：Sig_29922a11fbba29b440dd832d5b947335_1“马可·波扎诺”。_：Sig_29922a11fbba29b440dd832d5b947335_1 ._：Sig_29922a11fbba29b440dd832d5b947335_1 ._：Sig_29922a11fbba29b440dd832d5b947335_1“1”^^._：Sig_29922a11fbba29b440dd832d5b947335_1 . _：Sig_29922a11fbba29b440dd832d5b947335_2。_：Sig_29922a11fbba29b440dd832d5b947335_2 ._：Sig_29922a11fbba29b440dd832d5b947335_2“亚历山德罗·西马蒂”。_：信号_29922a1fbba29b440dd832d5b947335_2 ._：Sig_29922a11fbba29b440dd832d5b947335_2 ._：Sig_29922a11fbba29b440dd832d5b947335_2"2"^^._：Sig_29922a11fbba29b440dd832d5b947335_2 . _：Sig_29922a11fbba29b440dd832d5b947335_3。_：Sig_29922a11fbba29b440dd832d5b947335_3 ._：Sig_29922a11fbba29b440dd832d5b947335_3“马可·加里奥”。_：Sig_29922a11fbba29b440dd832d5b947335_3 ._：Sig_29922a11fbba29b440dd832d5b947335_3 ._：Sig_29922a11fbba29b440dd832d5b947335_3"3"^^._：Sig_29922a11fbba29b440dd832d5b947335_3 . _：Sig_29922a11fbba29b440dd832d5b947335_4。_：Sig_29922a11fbba29b440dd832d5b947335_4 ._：Sig_29922a11fbba29b440dd832d5b947335_4“斯特凡诺·托内塔”。_：Sig_29922a11fbba29b440dd832d5b947335_4 ._：Sig_29922a11fbba29b440dd832d5b947335_4"4"^^._：Sig_29922a11fbba29b440dd832d5b947335_4 . . . . . 《测井方法计算科学》。 “日志方法计算科学”。 "11" . "4" . "2015"^^. “dblp记录'journals/corr/BozzanoCGT15'的RDF数据的来源信息”。 . . . “2021-10-14T09:14:37+0200”。