Publisher
Springer International Publishing
Reference28 articles.
1. Alur, R., Yannakakis, M.: Model checking of message sequence charts. In: CONCUR ’99: Concurrency Theory. Lecture Notes in Computer Science, vol. 1664, pp. 114–129. Springer (1999)
2. Bannour, B., Gaston, C., Servat, D.: Eliciting unitary constraints from timed sequence diagram with symbolic techniques: Application to testing. In: 2011 18th Asia-Pacific Software Engineering Conference. pp. 219–226 (2011)
3. Cengarle, M., Knapp, A.: An institution for uml 2.0 interactions (01 2008)
4. Comon, H., Dauchet, M., Gilleron, R., Löding, C., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree automata techniques and applications (10 2007)
5. Custódio Soares, J.a.A., Lima, B., Pascoal Faria, J.a.: Automatic model transformation from uml sequence diagrams to coloured petri nets. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. p. 668–679. MODELSWARD 2018, SCITEPRESS - Science and Technology Publications, Lda, Setubal, PRT (2018).
https://doi.org/10.5220/0006731806680679
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献