-
于笑丰
-
-
- 所属机构:南京大学
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 胡军
- 作品数：109被引量：374H指数：11
- 供职机构：南京航空航天大学
- 研究主题：形式化方法 故障树 SYSML 安全关键系统 接口自动机
- 李宣东
- 作品数：300被引量：847H指数：16
- 供职机构：南京大学
- 研究主题：自动机 面向对象 混成系统 MDA 实时系统
- 张岩
- 作品数：185被引量：448H指数：10
- 供职机构：吉林大学
- 研究主题：三维模型 纹理合成 接口自动机 图像 不锈钢
- 郑国梁
- 作品数：148被引量：846H指数：16
- 供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
- 研究主题：面向对象 软件工程 软件开发 UML 程序设计
- 王林章
- 作品数：145被引量：395H指数：11
- 供职机构：南京大学
- 研究主题：制导 数据竞争 自动机 数据流分析 规约
