-
黄滟鸿
-
-
- 所属机构:华东师范大学
- 所在地区:上海市
- 研究方向:自动化与计算机技术
相关作者
- 史建琦
- 作品数：147被引量：6H指数：2
- 供职机构：华东师范大学
- 研究主题：形式化验证 目标代码 控制流图 反汇编 中间语言
- 李昂
- 作品数：49被引量：5H指数：1
- 供职机构：华东师范大学
- 研究主题：目标代码 反汇编 控制流图 自适应 程序模型
- 何积丰
- 作品数：77被引量：275H指数：6
- 供职机构：华东师范大学
- 研究主题：目标代码 反汇编 高级语言 控制流图 自适应
- 郭欣
- 作品数：22被引量：2H指数：1
- 供职机构：华东师范大学
- 研究主题：形式化验证 机载软件 规约 形式化描述 数学
- 熊家文
- 作品数：18被引量：0H指数：0
- 供职机构：华东师范大学
- 研究主题：反汇编 目标代码 程序模型 封装格式 翻译
