退出
我的积分:
中文文献批量获取
外文文献批量获取
樊林波; 吴映程; 赵明; 代碧锋;
贵州大学贵州省可靠性工程研究中心;
贵阳550001;
遵义师范学院计算机科学系;
遵义563002;
瑞典耶夫勒大学技术系;
西南大学新闻文化中心;
重庆;
400715;
软件可靠性; 软件安全性; 形式化描述; 可靠性与安全性的关系;
机译:针对线性密码分析的分组密码可证明的安全性:不可能完成的任务—线性密码分析中实用安全性方法和关键等效假设的实验评论
机译:针对线性密码分析的分组密码可证明的安全性:不可能完成的任务吗?线性密码分析中的实用安全性方法和密钥等效假设的实验综述
机译:卵巢切除的成年恒河猴的高分辨率外周定量计算机断层扫描和远端bone骨强度的有限元分析证明了奥达卡替尼的功效和与阿仑膦酸钠的区别
机译:综合静力分析,定理证明和抽象论证明安全性
机译:使用软件可靠性模型开发概率安全性度量。
机译:NPSO在动态加权NHPP模型上的新方法用于带有附加故障引入参数的软件可靠性分析
机译:软件可靠性案例:硬件,软件和系统安全性和可靠性之间的桥梁
机译:产生价值,安全性或身份证明文件和价值,安全性或身份证明文件的方法
机译:软件可靠性预测设备,软件可靠性预测程序和计算机可读存储介质记录软件可靠性预测程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。