您的位置： 专家智库 > >

李宁

作品数：3 被引量：0H指数：0
供职机构：中国航天科技集团公司更多>>
相关领域：自动化与计算机技术经济管理更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章

领域

  • 1篇经济管理
  • 1篇自动化与计算...

主题

  • 2篇代码
  • 2篇源代码
  • 2篇软件源代码
  • 2篇嵌入式
  • 2篇嵌入式C语言
  • 2篇状态机
  • 2篇航天
  • 2篇程序控制
  • 1篇审计
  • 1篇审计框架
  • 1篇管理审计
  • 1篇风险管理
  • 1篇风险管理审计
  • 1篇风险评估

机构

  • 3篇中国航天科技...

作者

  • 3篇李宁
  • 2篇张刚
  • 2篇经小川
  • 2篇王崑声
  • 2篇詹海潭
  • 1篇阴钢

传媒

  • 1篇现代国企研究

年份

  • 1篇2017
  • 1篇2014
  • 1篇2012
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
构建风险管理审计框架的思考与建议
2017年
本文以构建高效的风险管理审计框架为视角,提出风险管理审计的思路和建议,积极探索推动全面风险管理体系进程的路径。
阴钢李宁
关键词：风险管理审计风险评估
一种航天嵌入式C语言软件运行时错误的静态分析方法
本发明公开了一种航天嵌入式C语言软件运行时错误的静态分析方法。包括：(1)将航天嵌入式C语言软件运行时错误按照错误的发生机制进行分类，根据每类错误构造属性状态机的步骤。(2)根据构造的待检测软件源代码的程序控制流图和属性...
王崑声詹海潭经小川张刚李宁
文献传递
一种航天嵌入式C语言软件运行时错误的静态分析方法
本发明公开了一种航天嵌入式C语言软件运行时错误的静态分析方法。包括：(1)将航天嵌入式C语言软件运行时错误按照错误的发生机制进行分类，根据每类错误构造属性状态机的步骤。(2)根据构造的待检测软件源代码的程序控制流图和属性...
王崑声詹海潭经小川张刚李宁
全选 清除 导出
共1页<1>
聚类工具0