Improved statistical model checking methods for pathway analysis
<p>Abstract</p> <p>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 guarante...
Guardat en:
| Autors principals: | , , , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
BMC
2012-12-01
|
| Col·lecció: | BMC Bioinformatics |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|