欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
立项数据库
> 立项详情页
基于GALS的多核体系结构安全攸关实时系统设计与验证方法研究
项目名称:基于GALS的多核体系结构安全攸关实时系统设计与验证方法研究
项目类别:面上项目
批准号:61672074
项目来源:国家自然科学基金
研究期限:1900-01-01-1900-01-01
项目负责人:胡凯
依托单位:北京航空航天大学
批准年度:2016
成果综合统计
成果类型
数量
期刊论文
会议论文
专利
获奖
著作
2
0
0
0
0
期刊论文
面向同步规范的并行代码自动生成
众筹区块链上的智能合约设计
胡凯的项目
面向航空关键系统的AADL转换语义及其特性保持证明研究
期刊论文 15
会议论文 3
专利 2