Author:
Bagherzadeh Mojtaba,Jahed Karim,Combemale Benoit,Dingel Juergen
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. AnimUML: A practical tool for partial model animation and analysis;Science of Computer Programming;2024-01
2. Automatic transformation of UML-RT models into nuXmv model checker;2023 7th International Symposium on Innovative Approaches in Smart Technologies (ISAS);2023-11-23
3. Practical multiverse debugging through user-defined reductions;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23
4. Towards facilitating software engineering for production systems in industry 4.0 with behavior models;Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings;2022-05-21
5. Towards facilitating software engineering for production systems in Industry 4.0 with behavior models;2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2022-05