基于MARTE的面向混成系统的模型形式化转换

基于MARTE的面向混成系统的模型形式化转换

李国拯，曹子宁

Hybrid System-Oriented Model Formal Transformation Based on MARTE Language

LI Guo-zheng, CAO Zi-ning

计算机与现代化 . 2015, (6): 64 -68 . DOI: 10.3969/j.issn.1006-2475.2015.06.014