Author:
Bagherzadeh Mojtaba,Kahani Nafiseh,Jahed Karim,Dingel Juergen
Funder
Natural Sciences and Engineering Research Council of Canada
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines;IEEE Transactions on Software Engineering;2024-08
2. Adaptive On-the-Fly Changes in Distributed Processing Pipelines;Frontiers in Big Data;2021-11-26
3. Bounded Verification of State Machine Models;Proceedings of the 12th System Analysis and Modelling Conference;2020-10-19
4. Synthesis of state machine models;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16