退出
我的积分:
中文文献批量获取
外文文献批量获取
向嫄; 王冬; 蔺淑倩;
北京中核东方控制系统工程有限公司;
V&V(verification&validation); HM(Ihuman-machine interface); DCS;
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:Certus:组织致力于软件验证和确认中基于研究的创新
机译:没有黄金标准的生物信息学软件的验证和确认:BWA和Bowtie的案例研究
机译:核电站中基于PLC的工程安全功能部件控制系统的软件验证和确认过程
机译:自适应软件的运行时验证和确认框架。
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷
机译:-核电站高级控制室中人机界面的布局
机译:基于统一电话地址获取基于Web的硬件和软件的在线状态,身份验证,验证,授权,通信和交易服务的方法和系统,以及数字证书(dc)的组成,发行和管理提供的方法基于DC和公钥基础结构(PKI)的多层DC分配模型和多个帐户访问
机译:用于评估软件验证和确认活动以及风险评估中的投资效果的软件工具
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。