Back to Search
Start Over
A Study of the PDGF Signaling Pathway with PRISM
- Source :
- EPTCS 67, 2011, pp. 65-81
- Publication Year :
- 2011
-
Abstract
- In this paper, we apply the probabilistic model checker PRISM to the analysis of a biological system -- the Platelet-Derived Growth Factor (PDGF) signaling pathway, demonstrating in detail how this pathway can be analyzed in PRISM. We show that quantitative verification can yield a better understanding of the PDGF signaling pathway.<br />Comment: In Proceedings CompMod 2011, arXiv:1109.1044
Details
- Database :
- arXiv
- Journal :
- EPTCS 67, 2011, pp. 65-81
- Publication Type :
- Report
- Accession number :
- edsarx.1109.1367
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.4204/EPTCS.67.7