A MDE Based Approach for Bridging Formal Models.

Tian Zhang, Frdric Jouault, Jean Bzivin, Jianhua Zhao

Browse the full TASE paper archive.