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

相关作者

郭建
作品数：44被引量：26H指数：2
供职机构：华东师范大学
研究主题：形式化验证 形式化验证方法 时态逻辑 源代码 微内核
朱晨阳
作品数：50被引量：48H指数：4
供职机构：常州大学
研究主题：源域 时态逻辑 自动机 目标域 投影矩阵
田国会
作品数：347被引量：1,210H指数：15
供职机构：山东大学控制科学与工程学院
研究主题：机器人 服务机器人 家庭服务机器人 地图构建 家庭环境
徐心和
作品数：520被引量：4,842H指数：33
供职机构：东北大学信息科学与工程学院
研究主题：足球机器人 离散事件系统 神经网络 机器人 仿真
张广泉
作品数：234被引量：715H指数：14
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法