退出
我的积分:
中文文献批量获取
外文文献批量获取
刘晓萍; 王冬霞; 黄双临; 郭睿;
32021部队 北京 100094;
软件可靠性; 分析验证技术; 北斗卫星导航系统; 地面控制管理软件;
机译:飞机安全关键软件正式验证技术研究
机译:关于“基于BDD的相控系统可靠性分析算法”中PMS BDD生成的评论
机译:基于BDD的软件验证:事件条件行为系统的应用
机译:BDS / GPS高精度铁路变形监测软件设计与验证
机译:使用lambda hyperon验证BABAR跟踪软件。
机译:NASA太空飞行软件的软件可靠性分析:实践经验
机译:卫星地面综合观测技术研究蒙古高原北部华北地区土壤水分和地表条件的空间变化:面向AMSR-E(AQUA)/ ALOS / MIRAS(SMOS)/ GCOM-W的地面验证实验项目
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷
机译:用于lambda传感器的lambda值验证方法,包括将在电压信号的拐点处发生的时间偏转的跳变彼此进行比较,并基于比较来执行对指示的lambda值的验证。
机译:软件验证设备,软件验证方法和软件验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。