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...

Descripción completa

Detalles Bibliográficos
Autores principales: Crepalde, Mirlaine A, Faria-Campos, Alessandra C, Campos, Sérgio VA
Formato: Online Artículo Texto
Lenguaje:English
Publicado: BioMed Central 2011
Materias:
Proceedings
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3287583/
https://www.ncbi.nlm.nih.gov/pubmed/22369714
http://dx.doi.org/10.1186/1471-2164-12-S4-S14

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3287583/
https://www.ncbi.nlm.nih.gov/pubmed/22369714
http://dx.doi.org/10.1186/1471-2164-12-S4-S14

Ejemplares similares