位置:成果数据库 > 期刊 > 期刊详情页
基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证
  • ISSN号:1674-1579
  • 期刊名称:空间控制技术与应用
  • 时间:2014
  • 页码:57-62
  • 相关项目:航天嵌入式软件可信性保障集成环境和示范验证与应用
同期刊论文项目
同项目期刊论文
期刊信息
  • 《空间控制技术与应用》
  • 中国科技核心期刊
  • 主管单位:中国航天科技集团公司
  • 主办单位:北京控制工程研究所
  • 主编:袁利
  • 地址:北京市5142信箱171分箱
  • 邮编:100194
  • 邮箱:aca@bice.org.cn
  • 电话:010-68111551 68111503
  • 国际标准刊号:ISSN:1674-1579
  • 国内统一刊号:ISSN:11-5664/V
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 中国中国科技核心期刊,中国北大核心期刊(2014版)
  • 被引量:841