Author:
Shaikh Asadullah,Clarisó Robert,Wiil Uffe Kock,Memon Nasrullah
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models;SN Computer Science;2024-05-02
2. Model projection relative to submetamodeling dimensions;Software and Systems Modeling;2023-07-12
3. Formalism- Driven Development of Decentralized Systems;2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS);2022-03
4. Practical Constraint Solving for Generating System Test Data;ACM Transactions on Software Engineering and Methodology;2020-04-30
5. Slicing UML-based Models of Real-time Embedded Systems;Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2018-10-14