构件系统建模及其动态演化一致性验证方法
郑明,李彤,林英,周小煊,李响,明利
Dynamic Evolution Consistency Verification Method for Component System Modeling
ZHENG Ming, LI Tong, LIN Ying, ZHOU Xiao-xuan, LI Xiang and MING Li
计算机科学
.
2017, (11): 80
-86
.
DOI: 10.11896/j.issn.1002-137X.2017.11.012
|
|
|