构件系统建模及其动态演化一致性验证方法 (Dynamic Evolution Consistency Verification Method for Component System Modeling)

Ming Zheng, Tong Li 0004, Ying Lin, Xiaoxuan Zhou, Xiang Li, Li Ming. 构件系统建模及其动态演化一致性验证方法 (Dynamic Evolution Consistency Verification Method for Component System Modeling). 计算机科学, 44(11):80-86, 2017. [doi]

Abstract

Abstract is missing.