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
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00913739
Contributor : Fabrice Bouquet <>
Submitted on : Wednesday, December 4, 2013 - 1:07:07 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM

Identifiers

  • 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. ⟨hal-00913739⟩

Share

Metrics

Record views

309