Pages that link to "Item:Q2474435"
From MaRDI portal
The following pages link to Probabilistic model checking of complex biological pathways (Q2474435):
Displayed 14 items.
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Probabilistic approximations of ODEs based bio-pathway dynamics (Q533363) (← links)
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- A mass action model of a fibroblast growth factor signaling pathway and its simplification (Q839947) (← links)
- Query-based verification of qualitative trends and oscillations in biochemical systems (Q969178) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- Reachability analysis of uncertain systems using bounded-parameter Markov decision processes (Q2389641) (← links)
- Biomodel Engineering – From Structure to Behavior (Q3068846) (← links)
- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions (Q3506862) (← links)
- Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis (Q3506868) (← links)
- Probabilistic Model Checking of the PDGF Signaling Pathway (Q4912384) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- Analysing Biochemical Oscillation through Probabilistic Model Checking (Q5404071) (← links)
- Modular Verification of Interactive Systems with an Application to Biology (Q5404087) (← links)