Author:
Ali Tamleek,Nauman Mohammad,Alam Masoom
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Definitions and Computational Properties of OCL: A Systematic Review;IEEE Access;2024
2. Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop;Communications in Computer and Information Science;2021
3. A language agnostic approach to modeling requirements;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2020-10-16
4. Verification of Model Transformations Using Isabelle/HOL and Scala;Information Systems Frontiers;2018-05-30
5. OCL2MSFOL;Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems;2016-10-02