搜索到 篇“ 时态逻辑 “的相关文章

相关作者

田国会
作品数：338被引量：1,171H指数：16
供职机构：山东大学控制科学与工程学院
研究主题：机器人 服务机器人 家庭服务机器人 地图构建 自动化仓库
徐心和
作品数：517被引量：4,851H指数：33
供职机构：东北大学信息科学与工程学院
研究主题：足球机器人 离散事件系统 神经网络 机器人 仿真
张广泉
作品数：231被引量：708H指数：14
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
韩俊刚
作品数：180被引量：422H指数：11
供职机构：西安邮电大学
研究主题：片上网络 图形处理器 形式化验证 硬件 硬件设计
郭建
作品数：38被引量：17H指数：2
供职机构：华东师范大学
研究主题：形式化验证 形式化验证方法 源代码 微内核 时态逻辑