University Tunis El Manar, Tunisia, Higher Institute of Computer Science (ISI);
University Tunis El Manar, Tunisia, Higher Institute of Computer Science (ISI);
Wireless communication; Body area networks; Media Access Protocol; Connectors; Time division multiple access; Wireless sensor networks;
机译:无线体域网(WBAN)上不同MAC协议的性能比较
机译:无线传感器网络的Ad Hoc路由协议的自动形式验证的综述
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:无线体型网络(WBAN)协议的正式建模与验证:S-TDMA协议
机译:分支网络上参数化协议的形式验证。
机译:水下无线传感器网络:声传播模型如何影响高级协议的性能?
机译:无线传感器网络ad Hoc路由协议自动形式验证综述