退出
我的积分:
中文文献批量获取
外文文献批量获取
颜雯清; 李秀娟;
南京航空航天大学,江苏,南京,210016;
高安全应用开发环境; 软件开发; 系统建模; 自动代码生成; 运行效率;
机译:使用静态分析从SDL手写生成C代码和自动生成C代码之间的比较
机译:在Lustre / SCADE程序的回归测试中自动生成测试用例
机译:从HCSP正式模型自动生成SystemC代码
机译:使用SCADE Toolchain自动生成基于需求的测试用例的测试用例
机译:共享经济平台下企业家意向形成动态模型的构建:基于资源的理论方法
机译:杜洛克猪不同基因分型平台下使用贝叶斯方法进行基因组分析
机译:在Lustre / sCaDE程序的回归测试中自动生成测试用例
机译:科学计算和微分方程'93(sCaDE)进展研讨会
机译:用于自动生成输入/输出模型的PLC代码的PLC符号结构,以及使用其测试PLC代码的仿真装置和仿真方法
机译:自动生成输入/输出模型的PLC代码的PLC符号结构,使用相同方法测试PLC代码的仿真装置和仿真方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。