VFNM 相关硕士博士期刊学术论文

随着计算机网络、通信网络以及分布式系统的不断发展,通信协议日渐复杂化。形式化技术和方法在网络协议设计中占有举足轻重的作用......