×
模态框(Modal)标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框(Modal)标题
×
主 管:江西省科学技术厅
主 办:江西省计算机学会
江西省计算中心
编辑出版:《计算机与现代化》编辑部
Toggle navigation
首页
期刊介绍
编委会
在线期刊
最新录用
当期目录
过刊浏览
阅读排行
下载排行
引用排行
期刊订阅
常见问题及解答
自荐审稿
联系我们
Email Alert
English
基于概率模型的Raft协议形式化验证
管金平, 杨晋吉, 杨成龙
Formal Verification of Raft Protocol Based on Probabilistic Model
GUAN Jin-ping, YANG Jin-ji, YANG Cheng-long
计算机与现代化 . 2023, (
09
): 77 -81 . DOI: 10.3969/j.issn.1006-2475.2023.09.012