退出
我的积分:
中文文献批量获取
外文文献批量获取
黄丽丽;
福建工程学院生态环境与城市建设学院;
停等式ARQ; SPIN; Promela; 模型检测;
机译:对于自旋模型检查器自动转换方法SPIN模型检查器和自动转换方法SPIN模型Testimulator到UML描述从上游设计验证环境到模型检测过程
机译:在实际流量和信道模型下,用于无线ATM的DSA ++ MAC协议和SR / D-ARQ协议的联合性能
机译:无线信道的停一停ARQ分析
机译:不完全反馈下IP级别的停一停式混合ARQ性能
机译:使用SPIN对商业协作软件系统的故障转移协议进行模型检查
机译:实验证明了基于模拟光子Qutrit状态的Spin-1信息熵不等式
机译:根据Utstein协议协助在冠状动脉护理单元中进行心肺骤停根据Utstein协议,注意在冠状动脉护理单元中停止心肺骤停
机译:基于Turbo码的自适应混合FEC / aRQ协议用于无线网络上aTm的多媒体传输。
机译:不具有基于数学等式“ m”运行的集成电路的计算机游戏模型,该数学等式充当数据编程和处理的能量
机译:使ARQ协议中的反馈响应最小化的方法以及系统中使ARQ协议中的反馈响应最小化的第二实体对
机译:ARQ协议数据单元和HARQ协议数据单元及形成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。