Correct-by-construction synthesis of model transformations using transformation patterns
Lano, K.; Kolahdouz-Rahimi, S.; Poernomo, I.; Terrell, J.; Zschaler, S.
- 期刊名称Software & Systems Modeling
- 作者Lano, K.; Kolahdouz-Rahimi, S.; Poernomo, I.; Terrell, J.; Zschaler, S.
- 卷第13卷
- 期第2期
- 印刷ISSN1619-1366
- 电子ISSN1619-1374
- 文件大小2001.88KB
- 发表时间2014-05
- DOI10.1007/s10270-012-0291-7
- 页码873-907