提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日记账/corr/BozzanoCGT15澳大利亚-波扎诺，马尔科AU-亚历山德罗·西马蒂澳大利亚-加里奥，马尔科澳大利亚-托内塔，斯特凡诺TI-使用时间认知逻辑的异步故障检测和识别组件的形式化设计。JO-日志。方法计算。科学。VL-11IS-4标准2015年上半年//DO-10.2168/LMCS-11（4:4）2015年UR-（欧元）https://doi.org/10.2168/LMCS-11(4:4)2015UR-（欧元）http://arxiv.org/abs/1506.04871UR-（欧元）https://www.wikidata.org/entity/Q62041120急诊室-