Alliance of model-driven engineering with a proof-based formal approach - Archive ouverte HAL Access content directly
Journal Articles Innovations in Systems and Software Engineering Year : 2020

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

Not file

Dates and versions

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

Identifiers

Cite

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⟩
33 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More