AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:验证和行为抽象 - 面向大型分布式系统的易处理验证技术
Nitsche U.;
机译:模块化验证分布式系统的编程语言抽象
机译:基于抽象方法的分布式嵌入式系统验证的正式框架
机译:验证特征参数化系统的自动抽象技术
机译:分布式网络物理系统的建模和安全验证的Egocentric抽象
机译:自动结构抽象技术可增强验证能力。
机译:剂量学验证和两个3D剂量验证系统的临床实施以在容积调制电弧治疗技术中确保质量
机译:验证和行为抽象-面向大型分布式系统的可实践验证技术
机译:验证由软件组件组装而成的系统的方法,包括将软件组件整合到系统抽象中进行验证,在其中加载软件组件的验证条件
机译:加密密钥分发生成方法,签名生成和验证方法,加密密钥分发生成设备,签名生成和验证系统,加密密钥分发生成程序以及签名生成和验证程序分别被记录为计算机可读记录介质。
机译:分布式ledger身份验证系统,分布式ledger身份验证方法,程序,生物信息设备和身份验证设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。