Cited By
View all- Cederbladh JCicchetti ASuryadevara J(2024)Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature ReviewACM Transactions on Software Engineering and Methodology10.1145/363197633:3(1-67)Online publication date: 15-Mar-2024
- Zwaan Avan Antwerpen HVisser E(2022)Incremental type-checking for free: using scope graphs to derive incremental type-checkersProceedings of the ACM on Programming Languages10.1145/35633036:OOPSLA2(424-448)Online publication date: 31-Oct-2022
- Safdar AAzam FAnwar MAkram URasheed YSyriani ESahraoui H(2022)MoDLFProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems10.1145/3550355.3552453(187-198)Online publication date: 23-Oct-2022