位置：立项数据库 > 立项详情页
嵌入式系统安全保障与形式化检测的研究
  • 项目名称：嵌入式系统安全保障与形式化检测的研究
  • 项目类别：面上项目
  • 批准号：61572279
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：罗贵明
  • 依托单位：清华大学
  • 批准年度：2015
罗贵明的项目
受干扰系统辨识、控制及在复杂热力系统应用的研究
期刊论文 29 会议论文 4
受干扰信号的自适应滤波及信号检测
期刊论文 26 会议论文 33
可编程嵌入式系统形式化建模与自动验证技术的研究
期刊论文 8 会议论文 15
随机信号处理与信号自适应跟踪的研究
期刊论文 29 会议论文 9