Article Dans Une Revue
Innovations in Systems and Software Engineering
Année : 2020
Connectez-vous pour contacter le contributeur
https://hal.science/hal-02976221
Soumis le : vendredi 23 octobre 2020-13:06:53
Dernière modification le : samedi 27 septembre 2025-19:39:45
Citer
Akram Idani, Yves Ledru, German Vega. Alliance of model-driven engineering with a proof-based formal approach. Innovations in Systems and Software Engineering, 2020, 16 (3-4), pp.289-307. ⟨10.1007/s11334-020-00366-3⟩. ⟨hal-02976221⟩
Collections
104
Consultations
0
Téléchargements