退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:修改安全关键系统:评估三种方法
Tor Stålhane; Kari Juul Wedde;
机译:安全关键计算机系统定量安全评估的研究框架
机译:马尔可夫链模块化方法对安全关键系统的安全性评估
机译:适用于安全性和安全性至关重要的软件系统的白盒和灰盒验证和确认方法
机译:安全关键系统的修改:三种方法的评估
机译:对安全至关重要的计算机系统的定量安全评估。
机译:疫苗安全监视系统:美国疫苗安全数据链路快速周期分析功能开发中的关键要素和经验教训
机译:部分和不完善测试对安全仪表系统可靠性评估的影响-将其影响纳入可靠性评估的可能方法
机译:关键业务计算机系统和资源的自动安全评估
机译:针对安全关键应用的不同冗余方法
机译:控制系统,用于控制具有主从功能的安全关键和非安全关键流程
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。