退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:迭代系统的归纳验证
J.-K. Rho; F. Somenzi;
机译:关于迭代归纳定义和Pi(1)(1)-理解的某些二阶系统以及集合论的相关子系统的注释
机译:通过感应不变式对半代数动力系统进行安全验证
机译:半代数动力系统通过电感不变性的安全验证
机译:重构设计模型以进行成分验证,一致性测试和归纳验证。
机译:感应CT的宽带自校准方法以及谐波电流转换时谐波的电流和相位误差确定值的验证
机译:迭代归纳定义和分析子系统最近的证明理论研究
机译:归纳布尔函数操作:自动归纳的硬件验证方法
机译:控制系统的软件过程顺序验证集中化方法,涉及确定是否已经独立于其他迭代而开始和完成了一次迭代,并且发生了序列错误
机译:关键计算机程序源代码分析方法,例如核电厂涉及验证假设,并重复验证操作,直到分析所有假设为止,其中已验证的假设被标记为有效
机译:一种减少检测器系统中多个检测器之间耦合的方法,其具有多通道跟踪环境。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。