Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study

DOI10.1007/978-3-642-35524-0_3zbMath1381.74152OpenAlexW1601371917MaRDI QIDQ4912378

Emanuela Merelli, Nicola Paoletti, Pietro Lio, Ezio Bartocci

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

sensitivitymodel checkingformal analysisbone remodellingpiecewise multi-affine abstraction

Mathematics Subject Classification ID

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

Related Items (1)

System design of stochastic models using robustness of temporal properties

Uses Software

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

This page was built for publication: Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study