首页> 外文OA文献 >VERIFICATION OF CONGESTION CONTROL PROTOCOL IN VANETs USING FORMAL METHOD

【2h】

VERIFICATION OF CONGESTION CONTROL PROTOCOL IN VANETs USING FORMAL METHOD

机译：使用形式方法验证Vanets中的拥塞控制协议

代理获取

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

页面导航

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

著录项

作者
Ayana S; Shimmi Asokan.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Verification of Congestion Control Algorithm in VANETs [J] . Mohamad Yusof Darus, Kamalrulnizam Abu Bakar International Journal of Computer Network and Information Security . 2013,第4期

机译：VANET中拥塞控制算法的形式验证
2. A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation [J] . Mohamed Salah Bouassida, M. Shawky Eurasip Journal on Wireless Communications and Networking . 2010,第SE期

机译：VANET中的一种协作式拥塞控制方法：形式验证和性能评估
3. A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation [J] . Mohamed Salah Bouassida, M. Shawky Eurasip Journal on Wireless Communications and Networking . 2010,第1期

机译：VANET中的协作拥塞控制方法：形式验证和性能评估
4. Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification [C] . Konur Savas, Fisher Michael 2011 IEEE 73rd Vehicular Technology Conference . 2011

机译：通过概率验证对VANET拥塞控制协议进行形式化分析
5. A framework for formal methods driven verification and validation of dependable real-time protocols. [D] . Sinha, Purnendu. 2000

机译：用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
6. Distributed transmission power control for communication congestion control and awareness enhancement in VANETs [O] . Hyeongjun Chang, Young Eun Song, Hyungoo Kim, 2012

机译：分布式传输功率控制，用于VANET中的通信拥塞控制和感知增强
7. Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification [O] . Savas Konur, Michael Fisher 2013

机译：通过概率验证对VaNET拥塞控制协议进行形式化分析

VERIFICATION OF CONGESTION CONTROL PROTOCOL IN VANETs USING FORMAL METHOD

著录项

引文网络

相似文献

相关主题

期刊订阅