互模拟等价相关论文
随着信息服务和商业活动等越来越多地出现在开放的通讯网络上，用以保证上述服务的网络安全协议的可靠性成为备受人们关注的焦点。然......
随着计算机科学的发展,形式化验证方法在软件和硬件领域的应用越来越广泛。互模拟等价关系是形式化方法中的一个重要概念,它表示两......
