Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A fresh look on semantics of Concurrent State Based Language (ConStaBL);Journal of Computer Languages;2024-06
2. Conceptual Modeling: Topics, Themes, and Technology Trends;ACM Computing Surveys;2023-07-17
3. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13
4. Bounded Verification of State Machine Models;Proceedings of the 12th System Analysis and Modelling Conference;2020-10-19
5. StaBL;Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference;2020-02-27