退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:动态系统满足时间逻辑规范的恢复能力
?Mehdipour, Noushin;
Boston University;
机译:通过混合系统复制工具的线性时间逻辑规范的满意度
机译:混合动力系统中时间逻辑规范的充分条件 ? ce:sup> ce:cross-ref>
机译:在时间逻辑规范下部分已知环境中的异构多代理系统中的通信策略 ? ce:sup> ce:cross -ref>
机译:混合动力系统中的时间逻辑规范的充分条件
机译:具有时间逻辑规范的动态系统控制。
机译:语言理解的时间动态中的语法概念和逻辑:来自事件相关潜力的证据
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
机译:显示系统可动态指定电影的时间演变
机译:基于时间逻辑规范的服务质量自动设计方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。