Sign in
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models.
Anna Philippou
Mauricio Toro
Margarita Antonaki
Published in:
Sci. Ann. Comput. Sci. (2013)
Keyphrases
</>
process model
statistical models
mathematical models
probabilistic model
data sets
machine learning
decision trees
complex systems
mathematical model
statistical model
experimental data
metamodel
parametric models
simulation models
accurate models