RINGA: Design and verification of finite state machine for self-adaptive software at runtime

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]

Abstract

Abstract is missing.