...
机译:WSN的高效节能分组协议的形式化建模和验证
Department of Informatics, University of Oslo, PB 1080 Blindern, 0316 Oslo, Norway,Intervention Center, Oslo University Hospital, University of Oslo, N-0027 Oslo, Norway;
Department of Informatics, University of Oslo, PB 1080 Blindern, 0316 Oslo, Norway;
Department of Informatics, University of Oslo, PB 1080 Blindern, 0316 Oslo, Norway;
Intervention Center, Oslo University Hospital, University of Oslo, N-0027 Oslo, Norway;
wireless sensor networks; came theory; grouping; formal modeling;
机译:WSN中分布式节能聚类协议功能高效变体的性能评估
机译:使用SDL进行Web实时通信的信令协议的形式化建模和验证
机译:WSN传输协议的正式和自动安全验证
机译:通过负载平衡实现能效:通过两种WSN路由协议的形式验证进行比较
机译:用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:WSN的高效节能分组协议的形式化建模和验证