Verification of Compliance for Multilevel Models in Individual Trace Semantics.

Alexey V. Khoroshilov

Published in: Program. Comput. Softw. (2021)

Keyphrases

probabilistic model
data sets
databases
model selection
statistical models
accurate models
complex systems
experimental data
database
learning algorithm
search engine
prior knowledge
parameter estimation
mathematical models
formal semantics