{"article":{"@attributes":{"key":"journals\/infsof\/LeeKSSB18","mdate":"2022-08-16"},"author":["Euijong Lee","Young-Gab Kim","Young-Duk Seo","Kwangsoo Seol","Doo-Kwon Baik"],"title":"RINGA: Design and verification of finite state machine for self-adaptive software at runtime.","pages":"200-222","year":"2018","volume":"93","journal":"Inf. Softw. Technol.","ee":["https:\/\/doi.org\/10.1016\/j.infsof.2017.09.008","https:\/\/www.wikidata.org\/entity\/Q113317052"],"url":"db\/journals\/infsof\/infsof93.html#LeeKSSB18"}}