Cargando…
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...
| Autores principales: | , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
BioMed Central
2012
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3521229/ https://www.ncbi.nlm.nih.gov/pubmed/23282174 http://dx.doi.org/10.1186/1471-2105-13-S17-S15 |