Research on Component Composition and Replacement with Formal Semantics

Ruzhi Xu, Quansheng Wu, Peiguang Lin. Research on Component Composition and Replacement with Formal Semantics. JSW, 6(9):1640-1648, 2011. [doi]

Abstract

Abstract is missing.