空间机器人高可信软件检错技术

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

空间机器人高可信软件检错技术

高星;廖明宏;吴翔虎

Error Detection Technology of Space-robot High-dependable Software

GAO Xing; LIAO Ming-hong; WU Xiang-hu

计算机工程 . 2009, (16): 56 -58 . DOI: 10.3969/j.issn.1000-3428.2009.16.019