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

相关作者

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