Multiple verification in complex biological systems: the bone remodelling case study

DOI10.1007/978-3-642-35524-0_3MaRDI QIDQ4912378zbMATH OpenOpenAlexFDO

Authors Ezio Bartocci, Pietro Lio, Emanuela Merelli, Nicola Paoletti

Publication date 3 April 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35524-0_3

zbMATH Keywords

bone remodellingformal analysismodel checkingpiecewise multi-affine abstractionsensitivity

Mathematics Subject Classification ID

Biomechanical solid mechanics (74L15) Physiology (general) (92C30) Systems biology, networks (92C42)

Recommendations

• Probabilistic model checking of complex biological pathways
• Model checking of biological systems
• Analysing biochemical oscillation through probabilistic model checking
• Probabilistic verification of a biodiesel production system using statistical model checking
• Modular verification of interactive systems with an application to biology

Cited in

(2)

• System design of stochastic models using robustness of temporal properties
• Probabilistic model checking of complex biological pathways

Describes a project that uses

Uses Software

• MARCO
• Bio-PEPA
• PRISM
• PARAM
• BlenX
• FME

This page was built for publication: Multiple verification in complex biological systems: the bone remodelling case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4912378)