AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于模型的精密关键系统软件性能增强
Naeem Muhammad; Nelis Boucke; Yolande Berbers;
机译:安全关键应用程序的软件测试-实时自动化系统的功能和性能测试
机译:UAS关键软件的基于模型的设计,开发和验证
机译:基于模型的软件性能增强精密关键系统
机译:基于模型的系统工程仿真:关键卫生保健系统中病床维护的分析和设计
机译:使用GenAMap软件系统中的自动化并行化和可视化功能来增强结构化关联映射算法的可用性和性能
机译:基于模型的精确关键系统的软件性能增强
机译:将实时或安全关键软件和操作系统与非关键软件和操作系统隔离的方法
机译:从非关键软件和操作系统隔离实时或安全关键软件和操作系统的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。