Delays; Distortion; Wireless sensor networks; Energy consumption; Electroencephalography; Monitoring; Formal verification;
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:能量收集无线传感器网络中用于快速监控和高效能耗的分散控制算法
机译:正式验证EEG监控无线体积传感器网络的能耗
机译:用于监视智能电网的无线传感器网络:设计和实验验证。
机译:基于AGNES均衡能耗优化的无线传感器网络节能集群路由协议
机译:从无线传感器网络到无线体积网络:使用PAT的正式建模和验证安全