位置：成果数据库 > 期刊 > 期刊详情页
On the model checking of the spacewire link interface
  • ISSN号：2302-4046
  • 期刊名称：Telkomnika
  • 时间：2013
  • 页码：740-746
  • 相关项目：希尔伯特空间以及矩阵理论在HOL4中的形式化
作者： Guan Yong|Shi Zhiping|Zhang Jie|Dong Lingling|
同期刊论文项目
希尔伯特空间以及矩阵理论在HOL4中的形式化
期刊论文 27 会议论文 6 获奖 2
同项目期刊论文
The Gauge Integral Theory in HOL4
SpaceWire译码电路在HOL4中的形式化验证
拉普拉斯变换微积分性质在HOL4中的形式化
基于假设保证的SpaceWire总线链路接口的组合验证
Formalization of Matrix Theory in HOL4
Formalization of Function Matrix Theory in HOL
矩阵变换理论在HOL4中的形式化
实数二项式系数在HOL4中的形式化
用LTL模型检验的方法验证SpaceWire检错机制
The Formalization of Discrete Fourier Transform in HOL
Formal Kinematic Analysis of a General 6R Manipulator Using the Screw Theory
连续傅里叶变换基础理论的高阶逻辑形式化
GJK算法的一种特殊情形的形式化验证和应用
函数矩阵理论在HOL4中的形式化
Formalization of the Complex Number Theory in HOL4
Gauge积分在HOL4中的形式化
几何代数的高阶逻辑形式化
运用定理证明的形式化方法验证SpaceWire编码电路
SpaceWire协议的形式化建模与概率分析
ROS中XML-RPC协议实现的形式化验证