您的位置： 专家智库 > >

李潇

作品数：2 被引量：5H指数：2
供职机构：中国科学院软件研究所更多>>
发文基金：载人航天领域预先研究项国家自然科学基金中国科学院知识创新工程重要方向项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 2个文化科学

主题

  • 3个原子性
  • 3个软件模型
  • 3个软件模型检测
  • 3个嵌入式
  • 3个嵌入式操作
  • 3个嵌入式操作系...
  • 2个代码
  • 2个迭代
  • 2个动态优化
  • 2个断言
  • 2个多线程
  • 2个多线程程序
  • 2个修护
  • 2个异常值
  • 2个语句
  • 2个自动化
  • 2个自动化测试
  • 2个微内核
  • 2个系统安全
  • 2个系统设计

机构

  • 4个中国科学院软...
  • 2个中国科学院大...
  • 1个中国科学院研...

资助

  • 4个国家自然科学...
  • 3个国家科技重大...
  • 3个载人航天领域...
  • 3个中国科学院知...
  • 2个国家重点实验...
  • 2个中国科学院战...
  • 2个中国科学院知...

传媒

  • 3个计算机应用与...
  • 3个软件学报
  • 3个载人航天
  • 3个第五届信息安...
  • 2个计算机系统应...
  • 2个计算机科学
  • 1个计算机研究与...
  • 1个清华大学学报...
  • 1个计算机应用

地区

  • 4个北京市
共 4 条 记 录，以下是 1-4
刘剑
供职机构：中国科学院软件研究所
研究主题：初始化 ANDROID 漏洞分析 系统代码 传值进程
发表作品相关人物供职机构所获资助研究领域
易秋萍
供职机构：中国科学院软件研究所
研究主题：初始化 层次化 测试用例 裁剪 软件模型检测
发表作品相关人物供职机构所获资助研究领域
马越
供职机构：中国科学院软件研究所
研究主题：ROP 操作数 攻击检测 寄存器 结尾
发表作品相关人物供职机构所获资助研究领域
李斌
供职机构：中国科学院软件研究所
研究主题：源码 源代码 注释 补丁 和函数
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0