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

MWB是一个基于PI演算的模型检测工具。本文对多播的PIM_SM协议用PI演算建立一个三层模型并进行模型检测，其中主要检测PIM_SM协议中......