Publisher
Springer Nature Switzerland
Reference24 articles.
1. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley, Boston (2006)
2. André, É., Benmoussa, M.M., Choppy, C.: Translating UML state machines to coloured Petri nets using acceleo: a report. In: Pang, J., Liu, Y. (eds.) Proceedings of 3rd International Workshop Engineering Safety and Security Systems (ESSS). Electrics, Processing and Theoretical Computer Science, vol. 150, pp. 1–7 (2014). https://doi.org/10.4204/EPTCS.150.1
3. André, É., Liu, S., Liu, Y., Choppy, C., Sun, J., Dong, J.S.: Formalizing UML state machines for automated verification – a survey (2014). draft, https://lipn.fr/~andre/UML-SMD-survey.pdf
4. Besnard, V., Teodorov, C., Jouault, F., Brun, M., Dhaussy, P.: Unified verification and monitoring of executable UML specifications. Softw. Syst. Model. 20(6), 1825–1855 (2021). https://doi.org/10.1007/s10270-021-00923-9
5. Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Synthesis Lectures on Software Engineering, Morgan & Claypool Publ. (2012). https://doi.org/10.2200/S00441ED1V01Y201208SWE001
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献