Formal Methods; Reasoning; Static Verification; Testing; Wireless Sensor Network;
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:随机调度无线传感器网络的形式概率性能验证
机译:具有形式方法的无线传感器网络的静态验证
机译:使用静态和移动无线传感器网络的电磁源的位置自适应定位。
机译:减少无线传感器网络不稳定通信中传感器数据丢失的最小误差和模式方法选择的一种形式化方法
机译:用形式化方法静态验证无线传感器网络