测试假设相关论文
可以用于形式规范的描述语言很多,但存在一种统一的方法对形式规范进行一致性测试.该文采用统计的方法分析基于形式规范的协议一致......
可以用于形式规范的描述语言很多,但存在一种统一的方法对形式规范进行一致性测试。该文采用统计的方法分析基于形式规范的协议一......
