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]

Authors

Euijong Lee

This author has not been identified. Look up 'Euijong Lee' in Google

Young-Gab Kim

This author has not been identified. Look up 'Young-Gab Kim' in Google

Young-Duk Seo

This author has not been identified. Look up 'Young-Duk Seo' in Google

Kwangsoo Seol

This author has not been identified. Look up 'Kwangsoo Seol' in Google

Doo-Kwon Baik

This author has not been identified. Look up 'Doo-Kwon Baik' in Google