退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:评估高保障安全关键系统的软件开发工具
Andrew J. Kornecki; Kimberley Hall; Darryl Hearn; Herman Lau; Janusz Zalewski;
机译:安全关键系统的软件质量保证
机译:符合DO-254的安全关键系统软件工具
机译:支持安全关键系统中事件报告的软件工具
机译:评估高度安全关键系统的软件开发工具
机译:机载安全关键软件的质量保证模型
机译:使用市售的图像评估软件和用于图像引导放射治疗的硬件开发ExacTrac定位系统的图像质量保证措施
机译:评估安全关键实时系统的软件开发工具
机译:评估安全关键的实时系统的软件开发工具。
机译:用于评估软件开发工具与记录介质之间的接口的设备,用于存储用于评估软件开发工具之间的接口的软件
机译:用于安全关键型软件开发的基于模型的技术和过程的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。