Login / Signup
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
Published in:
Inf. Softw. Technol. (2018)
Keyphrases
</>
finite state machines
user interface
software architecture
software design
software testing
database
design tools
model checking
design patterns
embedded systems
design concepts
formal verification
formal methods
modeling language
design process
building blocks
source code
domain knowledge
database systems
databases