Article Dans Une Revue
Innovations in Systems and Software Engineering
Année : 2020
Akram Idani : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02976221
Soumis le : vendredi 23 octobre 2020-13:06:53
Dernière modification le : jeudi 4 avril 2024-21:22:14
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
40
Consultations
0
Téléchargements