退出
我的积分:
中文文献批量获取
外文文献批量获取
龚艳丽; 张志敏; 傅亮;
中国科学院计算技术研究所;
事务验证平台; 功能覆盖率; 断言; 约束随机;
机译:UWB雷达系统设计和验证挑战的模块化平台方法
机译:用于在小鼠模型中进行平面地面反作用力检测的模块化平台:设计,开发和验证
机译:例程设计-模块化分布式建模平台,用于分布式例程设计和基于仿真的分布式装配体测试
机译:SOC模块级功能验证平台设计
机译:基于策略模块的平台设计方法,用于开发定制的产品和服务系列。
机译:复杂样品的纯化:模块化和可重构的基于液滴的微流控平台的实现,该平台具有级联确定性横向位移分离模块
机译:基于前后级解耦的面向平台的模块化服务架构设计
机译:将舰队医院计划从基于平台的医院转变为模块化,基于能力的医院。
机译:使用基于软件的可信平台模块进行基于Trustzone的完整性度量和验证
机译:使用基于软件的可信平台模块进行基于信任区的完整性测量和验证
机译:集成电路设计分析和验证的模块化平台
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。