Načítá se...
Modeling and analysis of cell membrane systems with probabilistic model checking
BACKGROUND: Recently there has been a growing interest in the application of Probabilistic Model Checking (PMC) for the formal specification of biological systems. PMC is able to exhaustively explore all states of a stochastic model and can provide valuable insight into its behavior which are more d...
Uloženo v:
| Médium: | Článek |
|---|---|
| Jazyk: | en |
| Vydáno: |
BioMed Central
2011
|
| Témata: | |
| On-line přístup: | https://ncbi.nlm.nih.gov/pmc/articles/PMC3287583/ https://ncbi.nlm.nih.gov/pubmed/22369714 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1186/1471-2164-12-S4-S14 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|