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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.