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

Research output: Contribution to journalArticlepeer-review

26 Citations (Scopus)

Fingerprint

Dive into the research topics of 'RINGA: Design and verification of finite state machine for self-adaptive software at runtime'. Together they form a unique fingerprint.

Engineering & Materials Science