-
郭欣
-
-
- 所属机构:华东师范大学
- 所在地区:上海市
- 研究方向:自动化与计算机技术
相关作者
- 史建琦
- 作品数：147被引量：6H指数：2
- 供职机构：华东师范大学
- 研究主题：形式化验证 目标代码 控制流图 反汇编 中间语言
- 黄滟鸿
- 作品数：129被引量：5H指数：2
- 供职机构：华东师范大学
- 研究主题：目标代码 形式化验证 反汇编 L模型 控制流图
- 杨洋
- 作品数：69被引量：35H指数：3
- 供职机构：华东师范大学
- 研究主题：分子动力学 下肢 跑步 机载软件 目标代码
- 李昂
- 作品数：49被引量：5H指数：1
- 供职机构：华东师范大学
- 研究主题：目标代码 反汇编 控制流图 自适应 程序模型
- 曹桂涛
- 作品数：37被引量：32H指数：3
- 供职机构：华东师范大学
- 研究主题：规约 形式化验证 形式化描述 计算机辅助诊断 数学
