变量值域相关硕士博士期刊学术论文 - 搜论网

变量值域相关论文

EFSM最小可达图的同步生成算法

针对EFSM可达性分析过程中的状态空间爆炸问题，提出了一种基于变量值域划分的EFSM最小可达图的同步生成算法。该算法将EFSM可达图的......

期刊

扩展有限状态机最小可达图可达性分析 EFSM 协议测试变量值域状态分裂思想 FSM EFSM reachable minimal graph reach

看过本文同时还关注