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...
| Main Authors: | , |
|---|---|
| Format: | Online |
| Language: | English |
| Published: |
Public Library of Science
2016
|
| Online Access: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4871515/ |