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

相关作者

段振华
作品数：206被引量：223H指数：8
供职机构：西安电子科技大学
研究主题：时序逻辑 语句 形式化验证 命题投影时序逻辑 投影时序逻辑
田聪
作品数：156被引量：56H指数：4
供职机构：西安电子科技大学
研究主题：时序逻辑 语句 命题投影时序逻辑 词法 形式化建模
张广泉
作品数：231被引量：708H指数：14
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
王小兵
作品数：197被引量：220H指数：8
供职机构：西安电子科技大学
研究主题：时序逻辑 语句 数字仿真 词法 仿真
欧林林
作品数：308被引量：315H指数：10
供职机构：浙江工业大学
研究主题：机械臂 机器人 时滞 多移动机器人 时序逻辑