彼得·科马克;阿莱西奥·洛穆西奥;法比奥·莫加维罗;阿尼埃洛·穆拉诺 多智能体系统的实际验证Slk公司规范。 (英语) Zbl 1395.68255号 Inf.计算。 261,第3部分,588-614(2018)。MSC公司:第68页第27页 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.采尔玛}等人,《Inf.Compute》。261,第3部分,588--614(2018;Zbl 1395.68255) 全文: 内政部
J·以西结。;A.Lomuscio。 结合故障注入和模型检查来验证多代理系统中的容错性、可恢复性和可诊断性。 (英语) 兹比尔1370.68201 Inf.计算。 254,第2部分,167-194(2017)。MSC公司:60年第68季度 68个M12 68米15 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ezekiel}和\textit{A.Lomuscio},Inf.Compute。254,第2部分,167--194(2017;Zbl 1370.68201) 全文: 内政部 OA许可证