位置：成果数据库 > 获奖 > 获奖详情页
SpaceWire形式化验证和SpaceFibre 的样机研制
  • 颁奖组织：2、中共北京市市委北京市政府
  • 类别：北京市科学技术奖
  • 时间：2012.2.1
  • 级别：省部二等奖
  • 所属机构名称：首都师范大学
  • 成果类型：获奖
  • 相关项目：希尔伯特空间以及矩阵理论在HOL4中的形式化
同获奖项目
希尔伯特空间以及矩阵理论在HOL4中的形式化
期刊论文 27 会议论文 6 获奖 2
同项目获奖
SpaceWire形式化验证和SpaceFibre 的样机研制