Inner Mongolia University, Hohhot, China;
机译:指定为通信有限状态机的协议的一致性测试-一种基于指导的随机游走方法
机译:带有异步接口和电信协议的系统的形式化模型和一致性测试的开发
机译:T.120多媒体会议协议一致性测试的参考模型
机译:对BitTorrent协议进行系统一致性测试可行:基于CP-Nets模型的测试方法
机译:针对扩展模型中指定的通信协议自动生成一致性测试的测试用例。
机译:在基于模型的经济评估中用于评估药物遗传学和药物基因组学测试的证据:系统的审查方案
机译:基于模型的可扩展互联网协议的一致性测试