退出
我的积分:
中文文献批量获取
外文文献批量获取
杨羊; 何柳柳; 尚颖; 李征;
北京化工大学信息科学与技术学院;
北京100029;
ASM模型; 状态空间爆炸; 模型约简; 测试用例空间约减;
机译:面向对象的粗糙集模型中的并行约简及其性质
机译:基于张量的模型约简程序对偏斜接口的逼近:在约简层次模型约简方法中的应用
机译:与形式,面向对象和面向属性的概念格中的属性约简相关
机译:基于模型约简的并行软件测试生成方法
机译:面向离散事件的实时嵌入式系统的自动化测试生成。
机译:基于规则的网络模型的面向领域的约简
机译:面向对象框架向模型视图适配器体系结构重构的正式模型**芝加哥风格的报价Santaolaya-Salgado,René,Olivia GracielaFragoso-Díaz,Sheydi AnelZamudio-López。面向对象框架向模型视图适配器体系结构重构的正式模型。工学与技术学报,十五,02(2014):187-198。ISO690样式引证Santaolaya-Salgado R.,Fragoso-DíazO.G.,Zamudio-LópezS.A.面向对象框架向模型视图适配器体系结构重构的正式模型。工程研究与技术,第十五卷(第2卷),2014年4月至6月:187–198。
机译:加速器系统模型(asm)用户手册,包含物理和工程模型文档。 asm版本1.0
机译:使用静态分析和多域约束约简的具有动态约束的测试生成的系统和方法
机译:增加鞘磷脂酶酸(asm)蛋白活性,延长半衰期并延长纯化的asm蛋白活性,增加重组asm蛋白通过宿主细胞的产量的方法,以及用于纯化的等位基因的方法-野生的asm组合物和神经酰胺或鞘磷脂类似物化合物,以及神经酰胺或鞘磷脂类似物化合物
机译:面向对象的模型生成装置,面向对象的模型生成方法以及面向对象的模型生成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。