协议要素相关硕士博士期刊学术论文

随着形式化方法和技术日趋完善，网络协议开发也逐渐向形式化描述方法过渡和发展，并逐渐渗透到网络协议分析、综合及测试的各个环节中......