发布文献求助
已关闭
  • 文献求助详情
标题
Formal verification of blockchain driven packet management in congested network using Event B
使用事件B的拥塞网络中区块链驱动的数据包管理的形式化验证
相关领域
块链 计算机科学 网络数据包 计算机网络 事件（粒子物理） 计算机安全 量子力学 物理
网址
https://doi.org/10.1016/j.eswa.2025.127803
DOI
10.1016/j.eswa.2025.127803 doi
其它 期刊：Expert Systems with Applications
作者：Pratibha Singh; Arun Kumar Singh; Girish Chandra
出版日期：2025-04-01
求助人
精明的可冥 在 2025-07-05 14:08:29 发布自内蒙古，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. Introduction to Blockchain Technology
  2. ІННОВАЦІЙНІ ТЕХНОЛОГІЇ В БУХГАЛТЕРСЬКОМУ ОБЛІКОВІ ТА ...
  3. BLOCKCHAIN AS THE NEWEST FINANCIAL INSTITUTION: PROCESSES, STRATEGIES, TECHNOLOGIES AND PRACTICE OF ...
  4. The main network characteristics of blockchain traffic and modeling approaches
  5. Critical Connection of Blockchain Development Platforms
  6. Καινοτόμος μέθοδος αποθήκευσης και μετάδοσης δεδομέν...
  7. A new concept of Blockchain: intentionally designed to disrupt
  8. การศึกษาความเป็นไปได้ทางเทคนิคและทางกฎหมายในการนำ "...
  9. Blockchain Technology Overview: A Novel Approach
　...点击展开更多...　
求助 / 应助时间线

  • 4小时前，求助关闭

    精明的可冥 精明的可冥 Lv11 求助人 关闭了本次求助。

    说明 太慢了【积分已退回】

  • 4小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    14:08:34 未找到该文献，机器人已退出，请等待人工下载
    14:08:31 科研通AI机器人（美国 洛杉矶）收到请求，开始寻找文献
    14:08:29 已向机器人发送请求

  • 4小时前

    精明的可冥 精明的可冥 Lv11 求助人 发起了本次求助

更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
练得身形似鹤形完成签到 ，获得积分10
刚刚
刚刚
刚刚
2秒前
4秒前
美好焦发布了新的文献求助10
4秒前
5秒前
planto发布了新的文献求助10
6秒前
橙子发布了新的文献求助10
7秒前
爆米花的应助被mate采纳，获得30
8秒前
9秒前
LaTeXer的应助被qizhang采纳，获得50
9秒前
11秒前
13秒前
今后的应助被研究僧采纳，获得10
13秒前
雷霆万钧完成签到 ，获得积分10
14秒前
14秒前
向雨竹发布了新的文献求助10
15秒前
15秒前
陈佳祥发布了新的文献求助10
16秒前
mate完成签到，获得积分10
16秒前
16秒前
16秒前
18秒前
南边的海发布了新的文献求助10
19秒前
mate发布了新的文献求助30
19秒前
planto发布了新的文献求助10
20秒前
22秒前
22秒前
24秒前
26秒前
SMLW发布了新的文献求助10
26秒前
xiaoqianqian174完成签到，获得积分10
27秒前
27秒前
Nathan发布了新的文献求助10
27秒前
Jacob完成签到，获得积分10
28秒前
Happy完成签到，获得积分10
30秒前
成就的靖琪完成签到，获得积分10
33秒前
juno发布了新的文献求助10
33秒前
Happy发布了新的文献求助10
33秒前
高分求助中
Ophthalmic Equipment Market by Devices(surgical: vitreorentinal,IOLs,OVDs,contact lens,RGP lens,backflush,diagnostic&monitoring:OCT,actorefractor,keratometer,tonometer,ophthalmoscpe,OVD), End User,Buying Criteria-Global Forecast to2029 2000
A new approach to the extrapolation of accelerated life test data 1000
Cognitive Neuroscience: The Biology of the Mind 1000
Technical Brochure TB 814: LPIT applications in HV gas insulated switchgear 1000
Nucleophilic substitution in azasydnone-modified dinitroanisoles 500
不知道标题是什么 500
A Preliminary Study on Correlation Between Independent Components of Facial Thermal Images and Subjective Assessment of Chronic Stress 500
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号，转发送积分 3964735
求助须知：如何正确求助？哪些是违规求助？ 3510218
关于积分的说明 11152291
捐赠科研通 3244475
什么是DOI，文献DOI怎么找？ 1792395
邀请新用户注册赠送积分活动 873801
科研通“疑难数据库（出版商）”最低求助积分说明 803987
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通