16 citations · 42 across the 15 of their papers we have counts for
1 paper · 1 filter
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…