基于L-π演算的WSN路由协议形式化方法
, 王卓Formal method for routing protocol of WSN based on L-π calculus
FENG Xiao-ning1 , WANG Zhuo2 , ZHANG Xu1
, WANG Zhuo
基于L-π演算的WSN路由协议形式化方法 |
|
冯晓宁, 王卓 |
Formal method for routing protocol of WSN based on L-π calculus |
|
FENG Xiao-ning
, WANG Zhuo |
| MMC中加入的广播规则 |
| |