Alliance of model-driven engineering with a proof-based formal approach - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Innovations in Systems and Software Engineering Année : 2020

Alliance of model-driven engineering with a proof-based formal approach

Fichier non déposé

Dates et versions

hal-02976221 , version 1 (23-10-2020)

Identifiants

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⟩
40 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More