退出
我的积分:
中文文献批量获取
外文文献批量获取
阳小奇; 刘坚;
西安电子科技大学软件工程研究所;
基于契约; 跨过程; 安全分析;
机译:基于系统安全控制的跨级别事故风险分析4d基于系统安全控制的跨级别事故风险分析
机译:一种实用的分析方法,可提高基于PLD的系统安全性分析的可信度
机译:FRAMA:一种基于功能共振分析方法的安全评估方法
机译:提供契约的契约网络相关关键安全性
机译:基于ITL的LTL货运机动货运公司的物流提供商:一种交易成本分析方法,用于调查将服务扩展到仓库的过程。
机译:契约作为在EBP实施和维持过程中将外部和内部环境联系起来的桥梁因素:一项跨多个美国公共部门服务系统的前瞻性研究
机译:时变电场诱导跨膜电压的时间过程 - 一种理论分析方法及其应用
机译:基于计算机的决策支持系统在契约来源选择过程中的应用
机译:模拟电力系统的契约支持方法,契约支持装置,电力系统的现象分析方法及装置
机译:一种基于对安全文件创建所涉及的不同过程中相对位置变化的测量而对安全文件进行身份验证和验证的方法
机译:调节磷酸果糖激酶(PFK)催化活性的结合位点和调节剂的结晶学模型,一种设计,选择和生产PFK调节剂的方法,一种基于计算机的方法和相互作用之间的相互作用分析的计算机方法基于计算机的分析方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。