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

相关作者

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