Formal Verification; HOL4; Probabilistic Analysis; Theorem Proving; Wireless Sensor Networks; k-set Randomized Scheduling;
机译:随机调度无线传感器网络的形式概率性能验证
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:朝着无线传感器网络的正式性能分析
机译:地球物理传感应用中无线传感器网络的性能分析。
机译:水下无线传感器网络的交叉部署网络和系统性能分析
机译:节能无线传感器网络基于群集的通信协议的性能分析。各种拓扑下通信协议的设计,分析和性能评估,以延长无线传感器网络的使用寿命。