E-LOTOS相关论文
协议工程是是以协议为研究对象的软件工程,它采用形式化方法描述协议设计和维护中的各个活动,但所建立的协议设计方法比现有软件工......
协议测试是协议工程学的重要研究领域之一。其中,协议测试中的一致性测试是近年来国际上非常关注的、也是发展较快的一个研究领域,......
