Login / Signup
Empowering Multilevel DSMLs with Integrated Runtime Verification.
Fernando Macías
Adrian Rutle
Volker Stolz
Torben Scheffel
Malte Schmitz
Published in:
CoRR (2020)
Keyphrases
</>
data mining
artificial intelligence
relational databases
databases
genetic algorithm
multimedia
case study
database systems
bayesian networks
recommender systems
model checking
asynchronous circuits
verification method