Euijong Lee, Young-Gab Kim, Young-Duk Seo, Kwangsoo Seol, Doo-Kwon Baik. RINGA: Design and verification of finite state machine for self-adaptive software at runtime. Information \& Software Technology, 93:200-222, 2018. [doi]
@article{LeeKSSB18,
title = {RINGA: Design and verification of finite state machine for self-adaptive software at runtime},
author = {Euijong Lee and Young-Gab Kim and Young-Duk Seo and Kwangsoo Seol and Doo-Kwon Baik},
year = {2018},
doi = {10.1016/j.infsof.2017.09.008},
url = {https://doi.org/10.1016/j.infsof.2017.09.008},
researchr = {https://researchr.org/publication/LeeKSSB18},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {93},
pages = {200-222},
}