科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种满足线性时间逻辑规范的混合屏障证书方法
Andrea Bisoffi; Dimos V. Dimarogonas;
机译:基于随机采样的无人机航迹优化,以满足线性时间逻辑规范
机译:自动机理论符合障碍证书:非线性系统的时间逻辑验证
机译:通过混合系统复制工具的线性时间逻辑规范的满意度
机译:满足线性时序逻辑规范的混合屏障证书方法
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:线性时序逻辑的后门
机译:自动机理论符合障碍证书:非线性系统的时态逻辑验证
机译:逻辑规格验证程序,逻辑规格验证装置和逻辑规格验证方法
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
机译:基于时间逻辑规范的服务质量自动设计方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。