退出
我的积分:
中文文献批量获取
外文文献批量获取
刘雪; 胡军; 黄志球; 马金晶; 程桢; 石娇洁;
南京航空航天大学计算机科学与技术学院,江苏南京210016;
南京大学计算机软件新技术国家重点实验室,江苏南京210093;
系统安全性分析; 模型驱动工程; SysML/MARTE; 状态机模型; 嵌入式系统;
机译:将SysML和SystemC-UML配置文件集成到模型驱动的嵌入式系统设计流程中
机译:嵌入式系统设计的模型驱动工程框架
机译:模型驱动性能评估和多级嵌入式系统设计的正式验证
机译:嵌入式系统设计中的安全性问题。
机译:由抛物线弧模型驱动的经过验证的主动轮廓线方法用于线粒体的检测和分割
机译:多层嵌入式系统设计的模型驱动性能评估和形式验证
机译:用于嵌入式系统设计和验证的地理分布式框架
机译:用于复杂嵌入式系统设计验证的混合快速原型制作装置及使用该装置的快速验证方法
机译:建筑安全性验证系统,建筑安全性验证方法以及建筑安全性验证系统的制造方法
机译:嵌入式系统设计中的电源系统优化和验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。