A consistency checking approach for system architecture

Xiaokai Xia, Jing Shi, Zhiqiang Fan, Zhongliang Ai, Yancen Dong. A consistency checking approach for system architecture. In Annual IEEE Systems Conference, SysCon 2016, Orlando, FL, USA, April 18-21, 2016. pages 1-6, IEEE, 2016. [doi]

Abstract

Abstract is missing.