基于模型驱动工程的形式化模型转换技术

朱智, 雷森, 雷永林

Exploring Formal Model Transformation Techniques within Model Driven Engineering

Zhu Zhi, Lei Sen, Lei Yonglin

系统仿真学报 . 2021, (9): 2119 -2127 . DOI: 10.16182/j.issn1004731x.joss.20-0374