位置：立项数据库 > 立项详情页
具有时空一致性的软件形式化理论与方法的研究
  • 项目名称：具有时空一致性的软件形式化理论与方法的研究
  • 项目类别：面上项目
  • 批准号：61370100
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：陈仪香
  • 依托单位：华东师范大学
  • 批准年度：2013
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 4
  • 0
  • 0
  • 0
  • 0
期刊论文
三分之二模拟拓扑
一种变频采样传感器的频率控制算法
程序设计语言的模糊语义
车联网数据流的多维服务质量改进异构计算最早完成时间调度算法
陈仪香的项目
具有模糊性程序语义模型的研究
期刊论文 2
　软硬件协同设计
　软硬件协同设计
基于多维属性的软件可信性度量模型的研究
期刊论文 16 会议论文 15
Domain理论在程序语义中的应用