位置：成果数据库 > 会议 > 会议详情页
FORMAL VERIFICATION FOR SPACEWIRE LINK INTERFACE USING MODEL CHECKING
  • 所属机构名称：首都师范大学
  • 会议名称：2010International SpaceWire Conference
  • 成果类型：会议
  • 相关项目：嵌入式系统苛刻环境抗辐射干扰高速总线机制与算法的研究
作者： Yong Guan|Liya Liu|Zhiquan Dai|Weigong Zhang|Limin Tao|Yuanyuan Shang|ShengZhen Jin|
同会议论文项目
嵌入式系统苛刻环境抗辐射干扰高速总线机制与算法的研究
期刊论文 19 会议论文 8 专利 10
同项目会议论文
A FORMAL METHOD FOR VERIFYING THE IMPLEMENTATION OF SPW DATA-STROBE-ENCODING BY APPLYING THEOREM PRO
OPTIMIZATION OF REDUNDANT ANALYSIS AND DESIGN FOR SPACEWIRE
Elastic Flow Control and Parallel Switch Design for SpaceWire Router
Dynamic Adjustment A* Routing Algorithm
Reed-Solomon Codes for Satellite Communications
IEEE-1355 Communication Bus Router Design in Rugged Environment
Wormhole Router Design Based on IEEE-1355 Standard in Rugged Environment