Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6948181 | Information and Software Technology | 2018 | 23 Pages |
Abstract
We proposed a framework for integrating model checking with a self-adaptive software lifecycle. The results of our experiments showed that the proposed framework can achieve verify self-adaptation software at runtime.
Related Topics
Physical Sciences and Engineering
Computer Science
Human-Computer Interaction
Authors
Euijong Lee, Young-Gab Kim, Young-Duk Seo, Kwangsoo Seol, Doo-Kwon Baik,