A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks

BACKGROUND: The study of biological networks has led to the development of increasingly large and detailed models. Computer tools are essential for the simulation of the dynamical behavior of the networks from the model. However, as the size of the models grows, it becomes infeasible to manually ver...

Descripción completa

Detalles Bibliográficos
Autores principales: Monteiro, Pedro T, Dumas, Estelle, Besson, Bruno, Mateescu, Radu, Page, Michel, Freitas, Ana T, de Jong, Hidde
Formato: Texto
Lenguaje:English
Publicado: BioMed Central 2009
Materias:
Software
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2813247/
https://www.ncbi.nlm.nih.gov/pubmed/20042075
http://dx.doi.org/10.1186/1471-2105-10-450

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2813247/
https://www.ncbi.nlm.nih.gov/pubmed/20042075
http://dx.doi.org/10.1186/1471-2105-10-450

Ejemplares similares