Combining fault injection and model checking to verify fault tolerance in multi-agent systems
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
复制标题
结合故障注入和模型检查来验证多代理系统中的容错能力
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Jonathan E
中科院分区：
文献类型：
--
作者：
Jonathan E
登录
查看更多内容
位传输问题中违规、错误恢复和执行的形式化
影响因子：
--
作者：
A. Lomuscio;M. Sergot
通讯作者：
M. Sergot
DOI：
--
发表时间：
1997
期刊：
International Conference on Algebraic Methodology and Software Technology
影响因子：
--
作者：
G. Bruns;Ian M. Sutherland
通讯作者：
Ian M. Sutherland
DOI：
--
发表时间：
2002
期刊：
Adaptive Agents and Multi-Agent Systems
影响因子：
--
作者：
Z. Guessoum;Jean;S. Charpentier;O. Marin;Pierre Sens
通讯作者：
Pierre Sens
通过复制代理提高容错能力
DOI：
--
发表时间：
2002
期刊：
Adaptive Agents and Multi-Agent Systems
影响因子：
--
作者：
Alan Fedoruk;R. Deters
通讯作者：
R. Deters