-
杨洋
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:华东师范大学
- 所在地区:上海市
- 研究方向:文化科学
- 发文基金:国家自然科学基金
相关作者
- 史建琦
![](/images/user-pic.gif)
- 作品数:147被引量:1H指数:1
- 供职机构:华东师范大学
- 研究主题:形式化验证 目标代码 控制流图 反汇编 中间语言
- 黄滟鸿
![](/images/user-pic.gif)
- 作品数:129被引量:1H指数:1
- 供职机构:华东师范大学
- 研究主题:目标代码 形式化验证 反汇编 L模型 控制流图
- 郭欣
![](/images/user-pic.gif)
- 作品数:22被引量:1H指数:1
- 供职机构:华东师范大学
- 研究主题:形式化验证 机载软件 规约 形式化描述 数学
- 罗阳
![](/images/user-pic.gif)
- 作品数:23被引量:18H指数:3
- 供职机构:华东师范大学
- 研究主题:设计方法 超材料 反射器 反射面 变换函数
- 刘宇
![](/images/user-pic.gif)
- 作品数:233被引量:261H指数:9
- 供职机构:华东师范大学
- 研究主题:直流电刺激 哑铃 下肢 肌肉力量 训练器