Loading...
Improved statistical model checking methods for pathway analysis
Statistical model checking techniques have been shown to be effective for approximate model checking on large stochastic systems, where explicit representation of the state space is impractical. Importantly, these techniques ensure the validity of results with statistical guarantees on errors. There...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Artigo |
| Language: | Inglês |
| Published: |
BioMed Central
2012
|
| Subjects: | |
| Online Access: | https://ncbi.nlm.nih.gov/pmc/articles/PMC3521229/ https://ncbi.nlm.nih.gov/pubmed/23282174 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1186/1471-2105-13-S17-S15 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|