-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=实时模型检测 "
共 条 记 录，以下是1-2

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
区块链智能合约安全的逆向实时模型检测方法被引量：8
《小型微型计算机系统》2020年第10期2030-2035,共6页李书霞 王国卿 庄雷 
国家自然科学基金重点项目(U1604262)资助;河南省高等学校重点科研项目(19A520003,20A520038)资助;河南省重点研发与推广专项科技攻关计划项目(182102210189)资助。
区块链中的智能合约具有不可篡改性、去中心化、自治化等优点,使分散应用程序能够在缺乏信任的环境中实现交互和融合.若智能合约自身存在安全隐患,可能会威胁到用户的个人信息和财产安全,造成难以预估的损失.针对智能合约存在的安全问题...
关键词：时间自动机 区块链 智能合约安全 实时模型检测 形式化验证 
工作流多过程动态时序一致性的实时模型检测被引量：2
《机械工程学报》2010年第2期185-191,共7页杜彦华 范玉顺 
国家自然科学基金(60674080);国家高技术研究发展计划(863计划;2006AA04Z151;2006AA04Z166)资助项目
现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有重要意义。基于实时模型检测技术,提出一种工作流多过程时序一致性动态验证方法。采用时间自动机(Time au...
关键词：多过程 时序约束 实时模型检测 时间自动机 动态验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部