杨洋
作品数: 72被引量:39H指数:3
  • 所属机构:华东师范大学
  • 所在地区:上海市
  • 研究方向:文化科学
  • 发文基金:国家自然科学基金

相关作者

史建琦
作品数:151被引量:8H指数:2
供职机构:华东师范大学
研究主题:目标代码 形式化验证 反汇编 控制流图 中间语言
黄滟鸿
作品数:133被引量:7H指数:2
供职机构:华东师范大学
研究主题:目标代码 反汇编 形式化验证 L模型 控制流图
郭欣
作品数:23被引量:4H指数:1
供职机构:华东师范大学
研究主题:形式化验证 机载软件 规约 形式化描述 目标代码
罗阳
作品数:24被引量:18H指数:3
供职机构:华东师范大学
研究主题:设计方法 超材料 反射器 反射面 变换函数
李钦
作品数:22被引量:10H指数:1
供职机构:华东师范大学
研究主题:安全性质 EVENT-B 形式化验证 形式化建模 建模语言