云南高校图书馆联盟文献共享服务平台- 李兴锋

李兴锋: 作品数：1被引量：9H指数：1; 导出分析报告; 供职机构：中国科学院计算机网络信息中心更多>>; 发文主题：穿越NAT信息表主机标识主机隧道技术更多>>; 发文领域：自动化与计算机技术电子电信更多>>; 发文期刊：《电子与信息学报》更多>>; 所获基金：博士科研启动基金国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于SPIN的模块化模型检测方法研究被引量：9: 《电子与信息学报》2011年第4期902-907,共6页李兴锋张新常杨美红阎保平; 国家973计划项目(2009CB320502);国家自然科学基金(61070039);国家863计划项目(2009AA01Z145);山东省科学院院博士基金(2010-12)资助课题; 该文针对模型检测过程中所存在的状态爆炸问题,提出了一种基于模型检测工具SPIN的模块化模型检测方法。所提出的方法能够将指定的抽象模型分解成若干的模块,并对这些验证复杂度相对低的模块执行模型检测,以替代对原模型的模型检测。所...; 关键词：模型检测扩展有限状态自动机状态爆炸