Specification Inference for Evolving Systems.

Renzo Degiovanni Facundo Molina Agustin Nolasco Nazareno Aguirre Mike Papadakis

Published in: CoRR (2023)

Keyphrases

databases
complex systems
building blocks
neural network
bayesian inference
database
management system
control system
highly modular
formal methods
computing systems
probability distribution
expert systems
decision trees
multimedia
information systems
real time