Improved reliability of large scale publish/subscribe based MOMs using model checking
Improved reliability of large scale publish/subscribe based MOMs using model checking
复制标题
使用模型检查提高基于大规模发布/订阅的 MOM 的可靠性
DOI：
10.1109/noms.2014.6838311
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Jia Y
中科院分区：
文献类型：
--
作者：
Jia Y
登录
查看更多内容
NuSMV 模型检查器
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
M. Bozzano;Adolfo Villafiorita
通讯作者：
Adolfo Villafiorita
基于分布式消息控制的远程教学平台消息中间件设计
DOI：
--
发表时间：
2010
期刊：
2010 International Conference on Computational Aspects of Social Networks
影响因子：
--
作者：
X. An;Li
通讯作者：
Li
面向自主消息的中间件的自适应安全和信任管理
DOI：
--
发表时间：
2009
期刊：
IEEE International Conference on Mobile Adhoc and Sensor Systems
影响因子：
--
作者：
H. Abie
通讯作者：
H. Abie
使用依赖/保证推理对隐式调用进行正式处理
影响因子：
1
作者：
Jürgen Dingel;D. Garlan;S. Jha;D. Notkin
通讯作者：
D. Notkin
DOI：
10.1007/3-540-54834-3_5
发表时间：
1991-10
期刊：
--
影响因子：
--
作者：
D. Garlan;D. Notkin
通讯作者：
D. Garlan;D. Notkin