Journal Articles
Innovations in Systems and Software Engineering
Year : 2020
Akram Idani : Connect in order to contact the contributor
https://hal.science/hal-02976221
Submitted on : Friday, October 23, 2020-1:06:53 PM
Last modification on : Friday, March 24, 2023-2:53:19 PM
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⟩
Collections
33
View
0
Download