Henshin: advanced concepts and tools for in-place EMF model transformations 论文

2010Model Driven Engineering Languages and Systems引用 267
DOI
Model-Driven Software Engineering TechniquesPower Systems and TechnologiesFormal Methods in Verification
企业软件Model-Driven Software Engineering TechniquesFormal Methods in VerificationPower Systems and Technologies
相关技术:Model-Driven Software Engineering TechniquesFormal Methods in Verification
关系图谱

5

作者

2

相关技术

0

相关事件

0

相关文章

作者查看全部 (5)

G

Gabriele Taentzer

C

Christian Krause

S

Stefan Jurack

E

Enrico Biermann

相关技术查看全部 (2)

Model-Driven Software Engineering TechniquesFormal Methods in Verification

相关事件

暂无数据

相关文章

暂无数据