Opeyemi Adesina, Timothy C. Lethbridge, Stéphane S. Somé. Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking. In Loli Burgueño, Alexander Pretschner, Sebastian Voss, Michel Chaudron, Jörg Kienzle, Markus Völter, Sébastien Gérard, Mansooreh Zahedi, Erwan Bousse, Arend Rensink, Fiona Polack, Gregor Engels, Gerti Kappel, editors, 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019. pages 524-532, IEEE, 2019. [doi]
@inproceedings{AdesinaLS19,
title = {Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking},
author = {Opeyemi Adesina and Timothy C. Lethbridge and Stéphane S. Somé},
year = {2019},
doi = {10.1109/MODELS-C.2019.00082},
url = {https://doi.org/10.1109/MODELS-C.2019.00082},
researchr = {https://researchr.org/publication/AdesinaLS19},
cites = {0},
citedby = {0},
pages = {524-532},
booktitle = {22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019},
editor = {Loli Burgueño and Alexander Pretschner and Sebastian Voss and Michel Chaudron and Jörg Kienzle and Markus Völter and Sébastien Gérard and Mansooreh Zahedi and Erwan Bousse and Arend Rensink and Fiona Polack and Gregor Engels and Gerti Kappel},
publisher = {IEEE},
isbn = {978-1-7281-5125-0},
}