退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:形式验证和仿真,用于概率广播协议的性能分析
Ansgar Fehnker; Peng Gao;
机译:连接车辆新数据交换协议的正式验证和性能分析
机译:从概率的角度正式建模和验证TTCAN协议
机译:VHDL仿真:通信协议验证和性能分析的灵活方法
机译:概率广播协议性能分析的形式验证和仿真
机译:广播认证协议的性能分析。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:通过概率验证对VaNET拥塞控制协议进行形式化分析
机译:高度可靠的通信系统的一种正式的验证和性能分析方法
机译:异步传输模式(ATM)协议的设计验证和性能分析的综合建模方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。