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

> Research article (Innovations in Systems and Software Engineering, 2020) · cited 13× · AI/ML

**Wikidata**: [openalex:W3033248239](https://www.wikidata.org/wiki/openalex:W3033248239)  
**Source**: https://4ort.xyz/entity/alliance-of-model-driven-engineering-with-a-proof-based-formal-approach