Computer Science – Computational Engineering – Finance – and Science
Scientific paper
2011-09-07
EPTCS 67, 2011, pp. 65-81
Computer Science
Computational Engineering, Finance, and Science
In Proceedings CompMod 2011, arXiv:1109.1044
Scientific paper
10.4204/EPTCS.67.7
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.
Mauw Sjouke
Pang Jun
Sauter Thomas
Trairatphisan Panuwat
Wiesinger Monique
No associations
LandOfFree
A Study of the PDGF Signaling Pathway with PRISM does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Study of the PDGF Signaling Pathway with PRISM, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Study of the PDGF Signaling Pathway with PRISM will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-305710