退出
我的积分:
中文文献批量获取
外文文献批量获取
王博; 白晓颖; 贺飞; Xiaoyu SONG;
清华大学计算机科学与技术系;
北京 100084;
清华大学软件学院;
Maseeh College of Electrical and Computer Engineering;
Portland State University;
Portland;
USA;
可组合嵌入式软件; 可组合性; 相容性; 组合模型; 组合机制; 组合验证;
机译:嵌入式软件验证技术(完):软件配置管理建议
机译:增强实体级战斗模拟的模型可组合性和可重用性:一种概念建模方法
机译:基于模型框架的领域专用可组合建模方法
机译:嵌入式软件的形式验证技术
机译:论断言在概念建模中作为可组合仿真解决方案的推动者的作用。
机译:使用可组合化学渗透能量转换率法线粒体生物能学建模理论与试验验证
机译:面向可组合分布式实时和嵌入式软件
机译:将需求工程,建模和验证技术集成到软件和系统工程中;最终的评论。 2003年8月1日至2007年7月31日
机译:具有构建模块的可编程控制器,该构建模块具有可组合为单个单元的模块
机译:C语言记录介质中的嵌入式软件的操作系统建模的方法和执行该方法的设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。