57 citations · 102 across the 18 of their papers we have counts for
1 paper · 2 filters
Pietro Liò, Emanuela Merelli, Nicola Paoletti
We introduce a model checking approach to diagnose the emerging of bone pathologies. The implementation of a new model of bone remodeling in PRISM has led to an interesting charact…