基于RSL的协议形式化描述与验证方法

检索

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

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

基于RSL的协议形式化描述与验证方法

顾翔;邱建林;邵浩然

Protocol Formal Description and Verification Method Based on RSL

GU Xiang; QIU Jian-lin; SHAO Hao-ran

计算机工程 . 2009, (23): 41 -43 . DOI: 10.3969/j.issn.1000-3428.2009.23.015