退出
我的积分:
中文文献批量获取
外文文献批量获取
陶勇; 桂盛霖; 马亮; 尹立孟;
电子科技大学计算机科学与工程学院;
成都;
610054;
北京科银京成技术有限公司成都研发中心;
610051;
嵌入式软件; 模型驱动体系结构; 转换规则; 代码自动生成;
机译:AADL2TASM:AADL模型的验证和分析工具
机译:使用HiP-HOPS进行AADL模型可靠性分析的模型转换
机译:基于MDE的工具链将AADL模型转换为定时自动机模型
机译:APECS代码综合:从AADL模型中延伸OCARINA,用于安全关键应用的AADL模型
机译:集成技术接受模型和创新扩散:促使人们对军事设施,联邦机构和土地授予大学的节能和可再生能源技术产生兴趣的因素。
机译:一种评估MEMS和IC集成技术的混合模糊决策模型
机译:基于模型转换的AADL模型非功能性验证与分析调查
机译:aaDL和基于模型的工程。
机译:模型中组件接口的代码自动生成
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。