位置：成果数据库 > 会议 > 会议详情页
Model checking for spacewire error detection module
  • 所属机构名称：首都师范大学
  • 会议名称：2012 International Conference on Measurement, Instrumentation and Automation, ICMIA 2012
  • 时间：2012.9.15
  • 成果类型：会议
  • 相关项目：希尔伯特空间以及矩阵理论在HOL4中的形式化
作者： Li Xiaojuan|Shi Zhiping|Zhang Jie|Hua Wei|
同会议论文项目
希尔伯特空间以及矩阵理论在HOL4中的形式化
期刊论文 27 会议论文 6 获奖 2
同项目会议论文
Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4
Formal verification for spacewire communication protocol based on environment state machine
Formal verification of a collision-free algorithm of dual-arm robot in HOL4
Formal verification for spacewire data flow control using model checking
Formal Verification for SpaceWire Decoding by Appling Theorem Proving