中秋
SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
清晨好，您是今天最早来到科研通的研友！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您科研之路漫漫前行！
Formal verification of blockchain driven packet management in congested network using Event B
块链
计算机科学
网络数据包
计算机网络
事件（粒子物理）
计算机安全
物理
量子力学
作者
Pratibha Singh,
Arun Kumar Singh,
Girish Chandra
出处
期刊：
Expert Systems With Applications
[Elsevier BV]
日期：2025-04-01
卷期号：: 127803-127803
标识
DOI：10.1016/j.eswa.2025.127803
求助该文献
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
Sarah
完成签到
，获得积分
10
2秒前
cdercder
上传了
应助文件
6秒前
微风
完成签到
，获得积分
10
8秒前
无辜秋尽
完成签到，获得积分
10
8秒前
cdercder
上传了
应助文件
9秒前
cdercder
上传了
应助文件
17秒前
从今天开始温柔
完成签到
，获得积分
10
19秒前
大树努力要毕业
完成签到，获得积分
10
29秒前
欢喜的小蕾
完成签到，获得积分
10
36秒前
白白不喽
完成签到
，获得积分
10
40秒前
yes
完成签到
，获得积分
10
43秒前
上官若男
上传了
应助文件
51秒前
无限的含羞草
完成签到，获得积分
10
53秒前
花生油炒花生米
发布了新的
文献求助
10
56秒前
研友_VZG7GZ
的
应助
被
燕儿
采纳，获得
10
56秒前
花生油炒花生米
完成签到，获得积分
10
1分钟前
Milesma
完成签到
，获得积分
10
1分钟前
wangdafei
完成签到
，获得积分
10
1分钟前
蝴蝶兰
完成签到，获得积分
10
1分钟前
研友_VZG7GZ
上传了
应助文件
1分钟前
jinyu
完成签到，获得积分
10
1分钟前
大胆蛟凤
完成签到，获得积分
10
1分钟前
燕儿
发布了新的
文献求助
10
1分钟前
yoga
完成签到，获得积分
10
1分钟前
qpzn
完成签到，获得积分
10
1分钟前
阿曼尼
完成签到
，获得积分
10
1分钟前
Xulyun
完成签到
，获得积分
10
1分钟前
安菲
完成签到
，获得积分
10
1分钟前
sidashu
完成签到，获得积分
10
1分钟前
cdercder
的
应助
被
科研通管家
采纳，获得
10
1分钟前
所所
的
应助
被
科研通管家
采纳，获得
10
1分钟前
蜗牛
完成签到，获得积分
10
1分钟前
舒心谷菱
完成签到，获得积分
10
1分钟前
风之谷
完成签到，获得积分
10
1分钟前
cl
完成签到
，获得积分
10
1分钟前
葱姜蒜辣椒香菜我全要
完成签到，获得积分
10
1分钟前
整齐豆芽
完成签到
，获得积分
10
2分钟前
xiaowangwang
完成签到
，获得积分
10
2分钟前
呆萌芙蓉
完成签到
，获得积分
10
2分钟前
sbt
完成签到
，获得积分
10
2分钟前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Research Methodology: Best Practices for Rigorous, Credible, and Impactful Research
1000
自動車の空力技術
800
Essentials of Carbohydrate Chemistry and Biochemistry, 4th Edition
800
Organizational Behavior
510
Management and the Arts
510
Matrix Methods in Data Mining and Pattern Recognition Second Edition
510
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
计算机科学
化学工程
工程类
有机化学
物理
复合材料
生物化学
内科学
细胞生物学
基因
遗传学
免疫学
冶金
光电子学
癌症研究
热门帖子
关注
科研通微信公众号，转发送积分
7782764
求助须知：如何正确求助？哪些是违规求助？
9322205
关于积分的说明
20387416
捐赠科研通
7371314
什么是DOI，文献DOI怎么找？
3320453
关于科研通互助平台的介绍
2468438
邀请新用户注册赠送积分活动
2336561
今日热心研友
Kao
82
Ali
27
300
Criminology34
480
null
470
DW
18
140
cdercder
4
250
369ninja
28
GingerF
9
150
anugraphics
2
200
老的火龙果
10
80
无极微光
5
120
斯文的白玉
3
130
Oracle
5
100
渡人舟
10
50
12Nightz
9
Nole
90
yydragen
2
60
嘻嘻哈哈
8
CRUSADER
80
tang
80
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
Kao
Ali
Criminology34
null
DW
cdercder
369ninja
GingerF
anugraphics
老的火龙果
无极微光
斯文的白玉
Oracle
渡人舟
12Nightz
Nole
yydragen
嘻嘻哈哈
CRUSADER
tang
皖公网安备34019202002308
