Login / Signup
Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules.
Miguel Carrillo
Vladimir Estivill-Castro
David A. Rosenblueth
Published in:
MODELSWARD (2020)
Keyphrases
</>
search algorithm
parameter estimation
computational model
statistical model
experimental data
linear model
bayesian networks
probability distribution
statistical models
reinforcement learning
mathematical model
classification models