Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS

Jean-Marie Gauthier 1, 2 Fabrice Bouquet 1, 2 Ahmed Hammad 1 Fabien Peureux 1
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Communication dans un congrès
MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development, Feb 2013, Barcelona, Spain. pp.123--128, 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00913739
Contributeur : Fabrice Bouquet <>
Soumis le : mercredi 4 décembre 2013 - 13:07:07
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

  • HAL Id : hal-00913739, version 1

Citation

Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux. Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS. MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development, Feb 2013, Barcelona, Spain. pp.123--128, 2013. 〈hal-00913739〉

Partager

Métriques

Consultations de la notice

283