形式化测试集描述语言相关硕士博士期刊学术论文 - 信丰网

形式化测试集描述语言相关论文

并发TTCN的操作语义及相关算法

TTCN作为一种形式化的测试集描述语言,已经得到了广泛的应用.在介绍了并发TTCN的基本概念之后,接着介绍TTCN2的操作语义及相关算法......

期刊

操作语义形式化测试集描述语言算法协议一致性测试测试组件并发TTCN语言 Concurrent TTCN；Operational semantics；P

看过本文同时还关注