Multiple verification in computational modeling of bone pathologies

Pietro Liò Emanuela Merelli Nicola Paoletti

Published in: CompMod (2011)

Keyphrases

computational modeling
computational model
industrial applications
three dimensional
computer assisted
computational models
artificial intelligence
cognitive science
knowledge acquisition
model checking
x ray images
systems engineering