邓鹏辉
作品数: 3被引量:0H指数:0
  • 所属机构:南京航空航天大学计算机科学与技术学院
  • 所在地区:江苏省 南京市
  • 研究方向:自动化与计算机技术
  • 发文基金:江苏省高校自然科学研究项目

相关作者

张晋津
作品数:15被引量:5H指数:1
供职机构:南京审计大学
研究主题:互模拟 进程代数 精化 模态逻辑 反馈控制