From Code to Models.

Gerard J. Holzmann

Published in: ACSD (2001)

Keyphrases

probabilistic model
experimental data
source code
machine learning algorithms
classification models
mathematical models
databases
real world
data mining
genetic algorithm
artificial intelligence
high level
neural network model
accurate models