位置：成果数据库 > 会议 > 会议详情页
Formal verification for spacewire communication protocol based on environment state machine
  • 所属机构名称：首都师范大学
  • 会议名称：2012 8th International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM
  • 时间：2012
  • 成果类型：会议
  • 相关项目：希尔伯特空间以及矩阵理论在HOL4中的形式化
同会议论文项目
希尔伯特空间以及矩阵理论在HOL4中的形式化
期刊论文 27 会议论文 6 获奖 2
同项目会议论文
Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4
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
Model checking for spacewire error detection module