位置：立项数据库 > 立项详情页
基于下推网络的实时并发程序可达性分析及增量式验证
  • 项目名称：基于下推网络的实时并发程序可达性分析及增量式验证
  • 项目类别：地区科学基金项目
  • 批准号：61562015
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：钱俊彦
  • 依托单位：桂林电子科技大学
  • 批准年度：2015
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 10
  • 0
  • 0
  • 0
  • 0
期刊论文
基于时间多栈下推网络的实时系统验证
物联网搜索中主客观融合的动态信誉评估
基于时间动态下推网络可达性分析
基于ASP的中间人协商模型
基于粗糙集与ASP的变压器故障诊断
基于行为和结构特征的相似语义工作流检索
基于TDC-GP22的高精度超声波热量表设计
容错处理器阵列的重构抽象模型
高性能阵列重构的SAT描述模型
面向有效错误定位的偶然正确性识别方法
钱俊彦的项目
基于依赖公式抽象的软件模型检测研究
期刊论文 20 会议论文 10
基于抽象和符号技术的并发软件验证研究
期刊论文 25 会议论文 6 专利 2