VERIFICATION AND TESTING OF BIOLOGICAL MODELS.

Allan Clark Jane Hillston Stephen Gilmore Peter Kemper

Published in: WSC (2010)

Keyphrases

statistical models
model checking
database
complex systems
biological plausibility
symbolic execution
mathematical modeling
accurate models
computational models
experimental data
test set
machine learning algorithms
video sequences
multi agent
case study
databases
real time