Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux. Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. In Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves, editors, MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013. pages 123-128, SciTePress, 2013. [doi]
Abstract is missing.