首页> 外文OA文献 >Formal modeling and validation of a power-efficient grouping protocol for WSNs

【2h】

Formal modeling and validation of a power-efficient grouping protocol for WSNs

机译：WSN的高效节能分组协议的形式化建模和验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kazemeyni Fatemeh; Johnsen Einar Broch; Owe Olaf; Balasingham Ilangko;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal modeling and validation of a power-efficient grouping protocol for WSNs [J] . Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Journal of Logic and Algebraic Programming . 2012,第3期

机译：WSN的高效节能分组协议的形式化建模和验证
2. A Performance Assessment of Power-Efficient Variants of Distributed Energy-Efficient Clustering Protocols in WSN [J] . Prasant Kumar Pattnaik, Sabyasachi Pramanik, Ramkrishna Ghosh, International Journal of Interactive Communication Systems and Technologies . 2020,第2期

机译：WSN中分布式节能聚类协议功能高效变体的性能评估
3. On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL [J] . Asma El Hamzaoui, Abdeslam En-Nouaary, Hicham Bensaid Procedia Computer Science . 2018,第1期

机译：使用SDL进行Web实时通信的信令协议的形式化建模和验证
4. Formal Modelling and Validation of a Novel Energy Efficient Cross-Layer MAC Protocol in Wireless Multi hop Sensor Networks Using Time Petri Nets [C] . Bouabdellah KECHAR, Larbi SEKHRI International Conference on New Technologies, Mobility and Security . 2008

机译：使用时间Petri网在无线多跳传感器网络中新型节能跨层MAC协议的正式建模与验证
5. A framework for formal methods driven verification and validation of dependable real-time protocols. [D] . Sinha, Purnendu. 2000

机译：用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
6. Developing Quality Indicators and Auditing Protocols from Formal Guideline Models: Knowledge Representation and Transformations [O] . Aneel Advani, Mary Goldstein, Yuval Shahar, 2003

机译：从正式指南模型开发质量指标和审核协议：知识表示和转换
7. Investigations on Energy Efficiency for WSN Routing Protocols for Realistic Radio Models [O] . Deepti Gupta, Ajay K Sharma 2014

机译：现实无线电模型WsN路由协议的能效研究

Formal modeling and validation of a power-efficient grouping protocol for WSNs

著录项

引文网络

相似文献

相关主题

期刊订阅