A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.
Insights gained from multilevel computational models of biological systems can be translated into real-life applications only if the model correctness has been verified first. One of the most frequently employed in silico techniques for computational model verification is model checking. Traditional...
Na minha lista:
| Principais autores: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Public Library of Science (PLoS)
2016-01-01
|
| coleção: | PLoS ONE |
| Acesso em linha: | https://journals.plos.org/plosone/article/file?id=10.1371/journal.pone.0154847&type=printable |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|