退出
我的积分:
中文文献批量获取
外文文献批量获取
刘芮滦; 邓杨; 龚彬;
中国工程物理研究院 电子工程研究所 四川 绵阳 621999;
AADL模型; SCADE模型; 模型驱动开发; 嵌入式系统; 自动代码生成;
机译:用于软件设计和验证的模型驱动的安全框架
机译:基于人工神经网络的基于用户的人工智能系统分析基于人工神经网络的ANSYS SCADE视觉平台
机译:缩小基于模型的设计的工具差距,从Simulink中的飞行控制功能设计到SCADE中的软件设计
机译:使用模型驱动的体系结构为关键任务域提供基于支持保证的软件开发
机译:基于LabVIEW®的软件设计用于控制顺序注射分析仪器的测定吗啡
机译:Capella和AADL的模型驱动工程
机译:aaDL和基于模型的工程。
机译:软件设计需求提取支持方法,软件设计需求决策支持方法,软件设计支持方法和程序
机译:软件设计要求提取支持方法,软件设计要求确定支持方法,软件设计支持方法和程序
机译:听力收集SCADES
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。