-
杨洋
-

-

- 所属机构:华东师范大学
- 所在地区:上海市
- 研究方向:文化科学
- 发文基金:国家自然科学基金
相关作者
- 史建琦

- 作品数:151被引量:8H指数:2
- 供职机构:华东师范大学
- 研究主题:目标代码 形式化验证 反汇编 控制流图 中间语言
- 黄滟鸿

- 作品数:133被引量:7H指数:2
- 供职机构:华东师范大学
- 研究主题:目标代码 反汇编 形式化验证 L模型 控制流图
- 郭欣

- 作品数:23被引量:4H指数:1
- 供职机构:华东师范大学
- 研究主题:形式化验证 机载软件 规约 形式化描述 目标代码
- 罗阳

- 作品数:24被引量:18H指数:3
- 供职机构:华东师范大学
- 研究主题:设计方法 超材料 反射器 反射面 变换函数
- 李钦

- 作品数:22被引量:10H指数:1
- 供职机构:华东师范大学
- 研究主题:安全性质 EVENT-B 形式化验证 形式化建模 建模语言