李宣东
作品数: 292被引量:826H指数:16
  • 所属机构:南京大学
  • 所在地区:江苏省 南京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

王林章
作品数:141被引量:380H指数:10
供职机构:南京大学
研究主题:制导 数据竞争 自动机 规约 控制流图
郑国梁
作品数:148被引量:849H指数:16
供职机构:南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题:面向对象 软件工程 软件开发 UML 程序设计
卜磊
作品数:60被引量:69H指数:4
供职机构:南京大学
研究主题:混成系统 自动机 智能家居 规约 可达性
张天
作品数:119被引量:142H指数:6
供职机构:南京大学
研究主题:控件 神经网络 插桩 源代码 建模语言
赵建华
作品数:69被引量:139H指数:6
供职机构:南京大学
研究主题:MDA 规约 EDOC 实时系统 时间自动机