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

DOI: 10.13190/jbupt.200906.120.shut, PP. 120-124

Keywords: 协议一致性测试,权值扩展有限状态机,状态格局,可达性分析

Full-Text   Cite this paper   Add to My Lib

Abstract:

Full-Text