✦ LIBER ✦

Formal Verification of Congestion Control Algorithm in VANETs

✍ Scribed by Yusof Darus, Mohamad; Abu Bakar, Kamalrulnizam

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification of Square Root Algor

✍ John Harrison 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 87 KB

Formal verification of conflict detectio

✍ César Muñoz; Víctor Carreño; Gilles Dowek; Ricky Butler 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 212 KB

Application-Based Congestion Control Pol

✍ Sepulcre, M.; Gozalvez, J.; Härri, J.; Hartenstein, H. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 192 KB

Formal verification of safety protocol i

✍ Yan Zhang; Tao Tang; KePing Li; Jose Manuel Mera; Li Zhu; Lin Zhao; TianHua Xu 📂 Article 📅 2011 🏛 SP Science China Press 🌐 English ⚖ 771 KB

Congestion control algorithm in large-de

✍ Fengjie Yin; Yuanwei Jing; Yuanjiu Gong 📂 Article 📅 2007 🏛 South China University of Technology and Academy o 🌐 English ⚖ 185 KB

Theoretical analysis of the SABUL conges

✍ Phoemphun Oothongsap; Yannis Viniotis; Mladen Vouk 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 396 KB