退出
我的积分:
中文文献批量获取
外文文献批量获取
夏玉辉; 张威; 李鸣; 万琳;
装甲兵工程学院;
信息工程系;
北京;
100072;
浦华控股有限公司;
100084;
软件测试; 静态测试; 变量定义未使用故障; 语法树; 控制流图;
机译:使用Specc中描述的程序切片检测未初始化的变量和未使用的变量
机译:使用Photo描述的程序切片检测未初始化的变量和未使用的变量
机译:一种IP核心集成工具,用于使用静态数据流与访问模式使用静态数据流定义的无线电
机译:使用GC-MS和多变量统计程序将烧制墨盒残留物与未燃烧的无烟粉末结合
机译:一种新颖且定义明确的基准测试方法用于第二代读取映射
机译:使用遗传算法对输电电网中的故障进行定位,对输入变量进行建模并在静态系统模型上进行设置
机译:一种用于估算F100涡扇发动机未测量输出变量的卡尔曼滤波算法
机译:使用局部变量定义的属性对电路设计进行静态形式验证
机译:通过使用加压水从移动汽车上通过喷嘴排放的加压水来定位,清除和引爆雷场中各种地雷的方法和系统,其中还定义了一种声波传感器,该声波传感器可用于用未爆炸的地雷解除雷区。
机译:用于为克隆的变量名称定义增量更新静态单一分配形式的设备和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。