基于时态逻辑的协议RSL形式化描述

检索

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

顾翔, 邱建林

Formal Description of Protocols with RAISE Specification Language Based on Temporal Logic

GU Xiang, QIU Jian-Lin

计算机工程 . 2011, (5): 7 -9 . DOI: 10.3969/j.issn.1000-3428.2011.05.003