On verifying Bio-PEPA models.

Allan Clark Stephen Gilmore Maria Luisa Guerriero Peter Kemper

Published in: CMSB (2010)

Keyphrases

learning models
neural network
information retrieval
learning algorithm
computer vision
probabilistic model
statistical models
data mining
search engine
decision making
multi agent
evolutionary algorithm
process model
mathematical models