Description and Verification of Dynamic Software Architectures for Distributed Systems

Hongzhen Xu, Guosun Zeng, Bo Chen. Description and Verification of Dynamic Software Architectures for Distributed Systems. JSW, 5(7):721-728, 2010. [doi]

Abstract

Abstract is missing.