Cited By
View all- Tietz VFrey CWaldvogel ASchoepf JAnnighoefer B(2024)Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version)Innovations in Systems and Software Engineering10.1007/s11334-024-00565-2Online publication date: 10-Jul-2024
- Groner RBeaucamp LTichy MBecker SSyriani ESahraoui H(2020)An exploratory study on performance engineering in model transformationsProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410950(308-319)Online publication date: 16-Oct-2020
- Gabmeyer SKaufmann PSeidl MGogolla MKappel G(2019)A feature-based classification of formal verification techniques for software modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0591-z18:1(473-498)Online publication date: 1-Feb-2019
- Show More Cited By