退出
我的积分:
中文文献批量获取
外文文献批量获取
Zhao Huiqun; 赵会群; Lu Fei; 卢飞;
中国计算机学会;
软件工程; 路径测试; 白盒测试; 基本路径集; 模型代数;
机译:使用执行跟踪自动生成基于模型的基于模型的限制和实时应用程序
机译:基于模型的控制开发方法:基于模型的控制和自动生成的代码在批量生产软件中的应用
机译:带有横切线的部分有序集的入射代数的基本和良好组等级
机译:自动生成路径测试的基本路径集
机译:分析中的三个主题:(I)微积分的基本定理表示代数的基本定理,(II)Riesz表示测度的最小和,以及(III)与Stein流形相似的全纯控制和复杂Banach流形。
机译:多项式增长的Leavitt路径代数的结构
机译:Littelmann路径用于仿射李代数的基本表示
机译:确定执行程序测试的基本路径集的方法
机译:确定用于识别局域网无线通信网络上的传输帧接收的确认帧(ack)的方法,基本服务集中的接入点,接入点,独立于基本管理集的池管理站,独立的基本服务集,基础架构服务集,独立的基本服务集和计算机可读记录介质
机译:使用指令集架构实现装置自动生成处理器数据路径的方法和系统
机译:语句集自动生成装置,语句集自动生成程序,存储介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。