Components, platforms and possibilities: towards generic automation for MDA
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Reasoning about metamodeling with formal specifications and automatic proofs
Proceedings of the 14th international conference on Model driven engineering languages and systems
Hi-index | 0.00 |