Cargando…
Automatic validation of computational models using pseudo-3D spatio-temporal model checking
BACKGROUND: Computational models play an increasingly important role in systems biology for generating predictions and in synthetic biology as executable prototypes/designs. For real life (clinical) applications there is a need to scale up and build more complex spatio-temporal multiscale models; th...
| Autores principales: | , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
BioMed Central
2014
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4272535/ https://www.ncbi.nlm.nih.gov/pubmed/25440773 http://dx.doi.org/10.1186/s12918-014-0124-0 |