Runtime verification for dynamic architectures.

Diego Marmsoler Ana Petrovska

Published in: J. Log. Algebraic Methods Program. (2021)

Keyphrases

highly dynamic
case study
multiscale
model checking
databases
information retrieval
preprocessing
relational databases
dynamically changing