Wireless sensor networks; Petri nets; Heuristic-guided verification;
机译:传感器数据融合与聚类:无线传感器网络中的拥塞检测和避免方法
机译:多跳无线传感器网络中的拥塞检测和缓解
机译:事件驱动的无线传感器网络中基于队列的拥塞检测和多级速率控制
机译:启发式引导验证无线传感器网络快速拥塞检测
机译:使用拥塞一致性,更快的拥塞反馈,媒体访问控制和AAL2语音中继来增强无线网络。
机译:用于农村和森林火灾检测与验证的无线传感器网络部署
机译:具有WSN-PN工具的抽象无线传感器网络拥塞验证