位置：成果数据库 > 期刊 > 期刊详情页
SpaceWire state machine verification based on model checking
  • 期刊名称：Mechanics and Materials
  • 时间：0
  • 页码：2192-2196
  • 语言：英文
  • 相关项目：嵌入式系统苛刻环境抗辐射干扰高速总线机制与算法的研究
作者： Guan Yong | Shi Zhipi|Jin Shengzhen|Dai Zhiquan|
同期刊论文项目
嵌入式系统苛刻环境抗辐射干扰高速总线机制与算法的研究
期刊论文 19 会议论文 8 专利 10
同项目期刊论文
面向星载数据管理系统的SpaceWire总线仿真系统开发
基于微包协议的三模冗余容错计算机无缝重构算法
基于假设保证的SpaceWire总线链路接口的组合验证
星载SpaceWire路由器的研究与设计
RNFTL: A Reuse-Aware NAND Flash Translation Layer for Flash Memory
基于EAPR流程的动态局部可重构实现
Gather/scatter hardware support for accelerating Fast Fourier Transform
GJK算法的一种特殊情形的形式化验证和应用
Leakage-Aware Modulo Scheduling for Embedded VLIW Processors
运用定理证明的形式化方法验证SpaceWire编码电路
一种硬件监视的关键数据管理算法
一种基于八叉剖分的近似曲率的边折叠简化算法
大规模孔洞点云的快速重建算法研究
基于参数限定的CS—RBF曲面重建算法
一种保特征的隐式曲面算法
基于动态偏微分方程构造过渡面
基于OBB层次包围盒的碰撞检测算法改进
三角网格模型的补洞算法研究