科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
姜敏; 马庆甜;
中航工业西安飞行自动控制研究所 710065;
西安卫星测控中心 710043;
安全关键软件; 高可信; 复用; 软件体系结构; 模型驱动;
机译:用于可信软件过程管理的混合建模和仿真:面向利益相关者的方法
机译:针对Pod应用的面向高功率密度和容错低速PMSM的通用多准则设计方法
机译:面向客户的服务的灵活,增值的系统设计方法-将范式从面向功能的设计转变为面向信息的设计-
机译:迈向(半)运行时安全模型的自动综合:面向协作自治系统服务体系结构的面向安全的设计方法
机译:面向发展中国家的精益设计方法:一种针对发展中国家市场的基于精益市场的新颖产品设计方法,该方法可以使消费者和公司受益。
机译:基于多目标进化优化的面向性能的电力变压器设计方法
机译:面向安全的软件架构设计方法
机译:面向过程的浸入式评估设计方法。
机译:面向容器平台的可信软件授权和验证系统及方法
机译:审查可信软件组件的安全性
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。