退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:混合系统验证中连续可达性的约束
Stefan Ratschan; Zhikun She;
机译:严格的可达性约束,用于验证线性混合系统
机译:离散时间随机混合系统的验证:随机可避免的决策问题
机译:混合系统的安全验证和可达性分析
机译:水平集方法在连续和混合系统中控制和可达性问题的应用。
机译:的计算心血管系统模型进行比较的连续流以同步无阀脉动流的血流动力学的验证左心室辅助装置
机译:已验证的连续系统可达性分析
机译:混合系统验证方法,验证设备,验证计算机程序以及混合系统模型转换方法,转换设备和转换计算机程序
机译:混合系统的验证方法,验证装置和验证计算机程序;混合系统的模型转换方法,模型转换装置和模型转换计算机程序
机译:证书验证系统,路由约束信息生成装置,证书验证装置和证书验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。