Luxi Chen, Linpeng Huang, Chen Li. Component Substitutability Behavior Consistency Verification Based on Architecture-driven Development. In 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, IPDPS 2012, Shanghai, China, May 21-25, 2012. pages 1556-1562, IEEE Computer Society, 2012. [doi]
Abstract is missing.