权值扩展有限状态机相关硕士博士期刊学术论文 - 信丰网

权值扩展有限状态机相关论文

启发式探索的协议测试序列生成

为避免可达性分析方法生成协议测试序列状态过程中爆炸问题的出现,提出了一种启发式探索协议状态格局空间的可执行测试序列生成算......

期刊

协议一致性测试权值扩展有限状态机状态格局可达性分析 protocol conformance test weight extend finite sta

看过本文同时还关注