退出
我的积分:
中文文献批量获取
外文文献批量获取
崔天意; 肖洋;
91404部队,河北秦皇岛066001;
软件测试; 安全关键软件; 测试设计;
机译:安全关键和非安全关键应用程序分开:安全网关的设计方法
机译:开发基于仿真的安全关键软件测试环境
机译:安全关键应用程序的软件测试-实时自动化系统的功能和性能测试
机译:安全和安全关键的与不安全,非安全关键嵌入式系统:它们是否需要完全不同的设计方法?
机译:使用安全关键技术验收模型对自治车辆安全关键系统的人体信任的定量研究
机译:vivaGen –用于软件测试的生存数据集生成器
机译:安全关键嵌入式软件测试的受控实验
机译:安全关键软件测试期间的需求发现
机译:软件测试项目选择设备,软件测试项目选择程序,存储软件测试项目选择程序的记录介质以及软件测试项目选择方法
机译:软件测试装置,软件测试方法和软件测试程序
机译:软件测试设备,软件测试方法和软件测试程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。