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

相关作者

田国会
作品数：339被引量：1,185H指数：15
供职机构：山东大学控制科学与工程学院
研究主题：机器人 服务机器人 家庭服务机器人 地图构建 自动化仓库
徐心和
作品数：517被引量：4,856H指数：33
供职机构：东北大学信息科学与工程学院
研究主题：足球机器人 离散事件系统 神经网络 机器人 仿真
张广泉
作品数：231被引量：710H指数：14
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
朱晨阳
作品数：36被引量：24H指数：2
供职机构：常州大学
研究主题：时态逻辑 智能手机 延迟时间 控制策略 自动机
韩俊刚
作品数：180被引量：424H指数：11
供职机构：西安邮电大学
研究主题：片上网络 图形处理器 形式化验证 硬件 硬件设计