当前位置：
数字出版物超市 >> 
可信分布式实时软件的非功能特性的连贯性分析、设计与验证
可信分布式实时软件的非功能特性的连贯性分析、设计与验证
【项目名称】 可信分布式实时软件的非功能特性的连贯性分析、设计与验证
【项目编号】 90818008
【项目目标】
【项目关键词】 非功能;软件基础;可信;分布式;实时软件;连贯性
【项目承办单位】 广东工业大学
【项目负责人】 张立臣
【项目来源】 国家自然科学基金项目
【涉及学科】 计算机软件及计算机应用;
【科研经费】 50万
【所属大项目】 可信软件基础研究
【项目参与研究人员】
    【项目参与研究机构】
      【项目成果摘要】
      【发布单位】 国家自然科学基金委员会
      【发布时间】 2008-04-11
      【申请截止时间】 2008-06-20
      【立项时间】 2009-01
      【完成时间】 2011-12
      【申请条件】
      【联系方式】
      【项目信息来源】 http://www.nsfc.gov.cn/Portal0/InfoModule_396/24962.htm
      加载本项目科研成果产出报表....
      加载本项目科研成果....
      加载项目负责人以往科研成果....
      加载同类科研项目成果比较....
      加载本项目科研成果引证文献....
      加载学术文献....
      加载所属大项目下的其它项目....
      加载相关研究人员....
      加载相关研究机构....