基于π演算的软件体系结构测试技术

检索

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

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

基于π演算的软件体系结构测试技术

许慧;伦立军

Software Architecture Test Technology Based on π Calculus

XU Hui; LUN Li-jun

计算机工程 . 2009, (13): 55 -57 . DOI: 10.3969/j.issn.1000-3428.2009.13.019