Parameterized verification of ad hoc networks

被引：0
|
作者：
University of Genova, Italy [1 ]
不详 [2 ]
机构：
来源：
Lect. Notes Comput. Sci. | / 313-327期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Ad hoc networks
引用
收藏
相关论文
共 50 条
  • [31] Cross Layer PHY-MAC Protocol for Wireless Static and Mobile Ad Hoc Networks
    Romaszko, Sylwia
    Blondia, Chris
    EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, 2009,
  • [32] PMH: A stability based predictive multi-hop routing protocol for vehicular ad hoc networks
    Department of Computer Science and Software Engineering, Monmouth University, United States
    不详
    不详
    J. Internet Technol., 4 (437-450):
  • [33] A novel position-based multi-hop broadcast protocol for vehicular Ad Hoc networks
    Wu, Xuewen
    Song, Shiming
    Wang, Huibin
    Journal of Networks, 2011, 6 (01): : 112 - 120
  • [34] Assigning channels by link directionality in a medium access control protocol for IEEE 802.11 ad hoc networks
    Ng, P. C.
    Edwards, D. J.
    Liew, S. C.
    IET COMMUNICATIONS, 2009, 3 (11) : 1736 - 1746
  • [35] MSN 2009 - 5th International Conference on Mobile Ad-hoc and Sensor Networks: Preface
    Cheng, Xiuzhen
    Xu, Li
    Cao, Jiannong
    Das, Samir
    MSN 2009 - 5th International Conference on Mobile Ad-hoc and Sensor Networks, 2009,
  • [36] Scribble: Closing the book on Ad Hoc documentation tools
    University of Utah, PLT, United States
    不详
    Proc ACM SIGPLAN Int Conf Funct Program ICFP, (109-120):
  • [37] Elastic Routing Mechanism for Flying Ad Hoc Network
    Wang, Cong
    Zhao, Jihang
    Wu, Xia
    Ma, Wenfeng
    Tian, Hui
    Yu, Qiong
    Shi, Hanyi
    Yao, Yuanxiang
    Hao, Xiangyu
    IEEE Access, 2022, 10 : 98712 - 98723
  • [38] Reduced complexity crosscorrelation interference mitigation in GPS-enabled collaborative ad-hoc wireless networks - Theory
    Department of Electrical and Computer Engineering, University of Texas, San Antonio, United States
    Comput Electr Eng, 3 (603-615):
  • [39] Cooperative anti-jamming strategy and outage probability optimization for multi-hop ad-hoc networks
    Wang, Xiuji
    Lei, Ming
    Zhao, Minjian
    Li, Min
    IEEE Vehicular Technology Conference, 2017, 2017-September : 1 - 5
  • [40] Survey on available bandwidth estimation in ad hoc network
    Wu, Da-Peng
    Wu, Mu-Qing
    Zhen, Yan
    Tongxin Xuebao/Journal on Communications, 2010, 31 (04): : 103 - 115
12345