Pages that link to "Item:Q2271444"
From MaRDI portal
The following pages link to Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444):
Displaying 19 items.
- Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra (Q4647835) (← links)
- Modelling Biological Compartments in Bio-PEPA (Q5179426) (← links)
- External Control in Process Algebra for Systems Biology (Q5179432) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- Improved Continuous Approximation of PEPA Models through Epidemiological Examples (Q5404074) (← links)
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (Q5404080) (← links)
- Process Algebra with Hooks for Models of Pattern Formation (Q5404085) (← links)
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration (Q5404086) (← links)
- Modular Verification of Interactive Systems with an Application to Biology (Q5404087) (← links)
- HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)
- A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems (Q5851909) (← links)
- Membrane Computing (Q5897720) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Process calculi for biological processes (Q6062000) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
- Asymptotic behaviour of a conservative reaction-diffusion system associated with a Markovian process algebra model (Q6539288) (← links)
- An MM algorithm to estimate parameters in continuous-time Markov chains (Q6546449) (← links)
- Statistical abstraction for multi-scale spatio-temporal systems (Q6600063) (← links)
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)
