退出
我的积分:
中文文献批量获取
外文文献批量获取
刘冰; 王源源; 耿鸿月; 王品; 苗政民;
中国兵器科学研究院;
北京100089;
北京计算机技术及应用研究所;
北京100854;
系统支撑软件; 异构平台; 实装软件; 高可信仿真;
机译:用于可信软件过程管理的混合建模和仿真:面向利益相关者的方法
机译:面向属性的软件可信性基于公理化方法测量
机译:异构交通条件下交叉口仿真模型的面向对象方法
机译:Esterel和Java在面向异构软件和硬件系统的面向对象的建模和仿真框架中。 SEP方法
机译:异构仿真的大规模集成
机译:Rosetta3:面向对象的软件套件大分子的仿真与设计
机译:Esterel和Java在异构软件和硬件系统的面向对象建模和仿真框架中。 sEp方法。
机译:高可信度软件和系统研究需求。
机译:面向容器平台的可信软件授权与验证系统与方法
机译:面向容器平台的可信软件授权和验证系统及方法
机译:软件的仿真装置,软件的仿真方法及程序,用于软件的仿真
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。