...
机译:VANET中拥塞控制算法的形式验证
机译:VANET中的一种协作式拥塞控制方法:形式验证和性能评估
机译:VANET中的协作拥塞控制方法:形式验证和性能评估
机译:VANET中的协作拥塞控制方法:形式验证和性能评估
机译:通过概率验证对VANET拥塞控制协议进行形式化分析
机译:自适应传输功率水平与车辆速度逼近的Vanet拥塞控制密度
机译:分布式传输功率控制,用于VANET中的通信拥塞控制和感知增强
机译:VANET中拥塞控制算法的正式验证
机译:可以控制网络拥塞:光网络和以太网中的路由算法