退出
我的积分:
中文文献批量获取
外文文献批量获取
刘万伟; 王戟; 王昭飞;
国防科学技术大学;
计算机学院;
并行与分布处理国家重点实验室;
湖南;
长沙;
410073;
符号化模型检验; 扩展时序逻辑; Tableau方法; 验证工具; ENuSMV;
机译:VoLTE用高音质音声符号化技术の动向: 低遅延音声音响统合符号化3GPP EVS
机译:通过重复符号化和去符号化来改变含义
机译:稀有LU的静态符号化并行符号化
机译:重构数字化需求模型:一种结构化和符号化的信息方法
机译:詹姆斯·乔伊斯(James Joyce)的《尤利西斯》(Ulysses)的变种符号学系统:交互符号化,指示性和符号化的指称水平及其结构。
机译:通过使用全身生物发光成像来更新改良的汤普森检验以取代鼠类疟疾实验模型中的传统功效检验
机译:重复事件时间参数模型中离散协变量检验的估计方法和检验功效的评估:应用于应用Imiglucerase治疗的Gaucher患者。 :RTTE模型中协变量的方法和检验
机译:健康咨询:annette Islands海鲜研究结果回顾。 metlakatla印第安社区(a / k / a UsDOT Faa安妮特岛),metlakatla,威尔士亲王 - 外凯奇坎,阿拉斯加。 Epa设施ID:ak3690500167
机译:三维阶段机器的模型检验和该模型检验的校准程序
机译:用于检验者的两轴可调整/可设置的模型平台装置以及用于在其上安装模型平台装置的义齿设计义齿的检验者装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。