A runtime model-based framework for specifying and verifying adaptive RTE systems.

Published in: Int. J. Comput. Appl. Technol. (2020)

Keyphrases