眭永波

作品数：1被引量：0H指数：0
导出分析报告
供职机构：北京科技大学计算机与通信工程学院计算机科学与技术系更多>>
发文主题：EFSM扩展有限状态机可达性分析更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与应用》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
EFSM最小可达图的同步生成算法
《计算机工程与应用》2004年第23期80-85,88,共7页眭永波 王忠民 郝瑞兵 
贝尔实验室中国基础科学研究院(BLRC)资助
针对EFSM可达性分析过程中的状态空间爆炸问题,提出了一种基于变量值域划分的EFSM最小可达图的同步生成算法。该算法将EFSM可达图的生成与最小化两个过程结合在一起同步进行,引入特征配置的思想,依据特征配置指出变迁有效性组合,以及变...
关键词：扩展有限状态机 最小可达图 可达性分析 EFSM 协议测试 变量值域 状态分裂思想 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部