退出
我的积分:
中文文献批量获取
外文文献批量获取
黎忠文; 姚绍文;
厦门大学计算机与信息工程学院;
厦门;
361005;
云南大学软件学院;
昆明;
650091;
安全核; 可信性; 安全策略; 安全关键系统; 形式化原理; 交通灯;
机译:关于软件安全性问题
机译:部署安全电子市场时的分布式组件软件安全性问题
机译:地面运输行业的软件安全性和可靠性问题
机译:台湾寻求建立核社会作为解决国家合法性问题的战略的分析
机译:心理治疗的可信度等级:患者的可信度预测指标以及可信度与治疗结果的关系
机译:核安全系统中软件安全的开发框架:将安全开发与系统安全活动集成在一起
机译:安全相关系统中的软件安全性和可靠性问题。
机译:输入到可信网络封闭式类型的软件安全系统和方法
机译:软件安全关闭系统,软件安全关闭方法和防止系统故障引起的问题的程序
机译:软件安全停止系统,软件安全停止方法及程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。