课题基金 / 基金详情

软件基础研究中的若干前沿问题

批准号：
60223005
项目类别：
专项基金项目
资助金额：
100.0 万元
负责人：
林惠民
依托单位：
中国科学院软件研究所
学科分类：
计算机科学的基础理论
结题年份：
2005
批准年份：
2002
项目状态：
已结题
项目参与者：
唐稚松、董韫美、周巢尘、张健、柳欣欣、张文辉、蒋颖、沈一栋、李广元
关键词：
软件基础研究.高可靠软件.易用性

项目摘要

结项摘要

林惠民的其他基金

相似基金

相关文献

中文摘要
英文摘要
模型检测的理论、技术与工具
  • 批准号：
    60833001
  • 项目类别：
    重点项目
  • 资助金额：
    180.0万元
  • 批准年份：
    2008
  • 负责人：
    林惠民
  • 依托单位：
    中国科学院软件研究所
传值并发系统的语义模型与验证工具
  • 批准号：
    69833020
  • 项目类别：
    重点项目
  • 资助金额：
    70.0万元
  • 批准年份：
    1998
  • 负责人：
    林惠民
  • 依托单位：
    中国科学院软件研究所
带递归π-演算的证明系统
  • 批准号：
    69683003
  • 项目类别：
    专项基金项目
  • 资助金额：
    11.0万元
  • 批准年份：
    1996
  • 负责人：
    林惠民
  • 依托单位：
    中国科学院软件研究所
消息传送进程的代数理论
  • 批准号：
    69343003
  • 项目类别：
    专项基金项目
  • 资助金额：
    5.0万元
  • 批准年份：
    1993
  • 负责人：
    林惠民
  • 依托单位：
    中国科学院软件研究所
国内基金
海外基金