Model checking; Synchronization; TESLA; Timed colored Petri nets; Vehicular ad hoc networks;
机译:使用随机定时彩色培养网认知无线网络的建模与性能分析
机译:车载Ad-Hoc网络中用于实时服务的灵活MAC协议的性能分析
机译:A-ADHOC:车载Ad Hoc网络的自适应实时分布式MAC协议
机译:使用定时彩色Petri网分析车载ad hoc网络中的TESLA协议
机译:用于车辆自组织网络的新的基于群集的路由和多通道MAC协议。
机译:车载Ad Hoc网络中IEEE 802.11p多通道MAC协议的性能分析
机译:使用彩色PetriNet验证移动自组织网络的路由协议