1
基于定理证明的UML多视图模型良构一致性验证方法
Well-structured consistency verification method for UML multi-view models based on theorem proof
优先出版
2026年第2期 :
doi:10.19734/j.issn.1001-3695.2025.05.0220