Skip to main content
Fig. 3 | BMC Bioinformatics

Fig. 3

From: FoPA: identifying perturbed signaling pathways in clinical conditions using formal methods

Fig. 3

Different Parts of the FoPA: Model builder build a PRISM model for each pathway. The parameters of the model are estimated by Parameter computation using the KEGG pathways and gene expressions data. The Score computation defines the appropriate properties to check by PRISM. By computing the probability of these properties, a score is allocated to each pathway. An assessment of the significance of the measured score is done by Significance assessment

Back to article page