咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 2 篇 实时模型检测
  • 2 篇 时间自动机
  • 1 篇 时序约束
  • 1 篇 区块链
  • 1 篇 智能合约安全
  • 1 篇 动态验证
  • 1 篇 多过程
  • 1 篇 形式化验证

机构

  • 1 篇 北京科技大学
  • 1 篇 清华大学
  • 1 篇 郑州大学

作者

  • 1 篇 庄雷
  • 1 篇 杜彦华
  • 1 篇 王国卿
  • 1 篇 李书霞
  • 1 篇 范玉顺

语言

  • 2 篇 中文
检索条件"主题词=实时模型检测"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
工作流多过程动态时序一致性的实时模型检测
收藏
分享
引用
机械工程学报 2010年 第2期46卷 185-191页
作者： 杜彦华 范玉顺 北京科技大学机械工程学院 北京100083 清华大学自动化系 北京100084
现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有重要意义。基于实时模型检测技术,提出一种工作流多过程时序一致性动态验证方法。采用时间自动机(Time au... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
区块链智能合约安全的逆向实时模型检测方法
收藏
分享
引用
小型微型计算机系统 2020年 第10期41卷 2030-2035页
作者： 李书霞 王国卿 庄雷 郑州大学信息工程学院 郑州450001
区块链中的智能合约具有不可篡改性、去中心化、自治化等优点,使分散应用程序能够在缺乏信任的环境中实现交互和融合.若智能合约自身存在安全隐患,可能会威胁到用户的个人信息和财产安全,造成难以预估的损失.针对智能合约存在的安全问题... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件