张晋津
作品数: 15被引量:5H指数:1
  • 所属机构:南京审计大学
  • 所在地区:江苏省 南京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

邓鹏辉
作品数:3被引量:0H指数:0
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:进程代数 CLT T-TEST MUS MAY
施晓静
作品数:9被引量:4H指数:1
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:N- 互模拟 精化 模态逻辑 聚类
朱朝晖
作品数:22被引量:27H指数:3
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:人工智能 常识推理 情境演算 表示定理 UML
邢惠丽
作品数:15被引量:37H指数:4
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:帆船 帆船比赛 路径规划 区段 信息安全
张严
作品数:10被引量:10H指数:2
供职机构:南京航空航天大学
研究主题:飞机 机轮 地面滑行 互模拟 变速箱