位置：立项数据库 > 立项详情页
复杂安全攸关嵌入式系统形式设计
  • 项目名称：复杂安全攸关嵌入式系统形式设计
  • 项目类别：国家杰出青年科学基金
  • 批准号：61625206
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：詹乃军
  • 依托单位：中国科学院软件研究所
  • 批准年度：2016
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 1
  • 0
  • 0
  • 0
  • 0
期刊论文
Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems
詹乃军的项目
实代数符号计算在形式化方法中的应用
期刊论文 15 会议论文 4 著作 2
航天嵌入式软件设计一致性验证技术及其应用
期刊论文 3
软件构件的精化、组合和粘合理论研究
期刊论文 7 会议论文 12
第七届实时计算系统和应用国际会议