位置：立项数据库 > 立项详情页
　软硬件协同设计
  • 项目名称：　软硬件协同设计
  • 批准号：869616
  • 项目来源：2015年度上海市教委本科重点课程立项项目
  • 研究期限：2015-08-
  • 项目负责人：陈仪香
  • 依托单位：华东师范大学
  • 批准年度：2015
陈仪香的项目
具有模糊性程序语义模型的研究
期刊论文 2
具有时空一致性的软件形式化理论与方法的研究
期刊论文 4
　软硬件协同设计
基于多维属性的软件可信性度量模型的研究
期刊论文 16 会议论文 15
Domain理论在程序语义中的应用