机译:无线传感器网络的Ad Hoc路由协议的自动形式验证的综述
Formal Verification; Routing Protocol; Ad Hoc Network; Model Checking; Theorem Proving;
机译:无线传感器网络的Ad Hoc路由协议的自动形式验证的综述
机译:具有改进的MAC层和广播方案的无线Ad Hoc传感器网络上的多跳路由协议
机译:无线传感器网络路由协议的形式化研究
机译:Ad Hoc无线网络的路由协议的形式验证的方法
机译:无线自组织和传感器网络的动态节能路由协议
机译:水下无线传感器网络的路由协议:分类研究挑战路由策略和未来方向
机译:无线传感器网络ad Hoc路由协议自动形式验证综述