退出
我的积分:
中文文献批量获取
外文文献批量获取
俞慎;
中国电子科技集团公司第三十二研究所;
ARINC653 标准; ASAAC 标准; 综合模块化航空电子; 安全关键系统; 蓝图;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:嵌入式系统的可靠性和安全性:呼吸器官中看到的安全性和关键系统设计-2通过重型三重备份保护生活
机译:系统工程方法中安全关键系统的动态故障树生成
机译:安全和安全关键的与不安全,非安全关键嵌入式系统:它们是否需要完全不同的设计方法?
机译:安全关键系统的故障安全测试生成
机译:基于ASIC的NMR系统运行状况监控器设计用于任务/安全关键型应用
机译:框架Zachman在孟加拉三宝垄安全贷款合作社蓝图(建筑)管理信息系统设计中的应用。
机译:安全关键系统人机交互设计中的几个挑战。
机译:安全关键分布式存储系统安全检查软件设计的模型检查方法
机译:安全关键型分布式存储系统安全检查软件设计的模型检查方法
机译:安全关键型分布式存储系统安全检查软件设计中的模型检查方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。