Cited By
View all- Adesina OLethbridge TSomé SPretschner AVoss SBurgueño L(2019)Optimizing hierarchical, concurrent state machines in umple for model checkingProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00082(524-532)Online publication date: 15-Sep-2019
- Lethbridge TPretschner AVoss SBurgueño L(2019)UmpleOnline as a testbed for modeling empirical studiesProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00064(413-414)Online publication date: 15-Sep-2019