Login / Signup
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.
Raoul Praful Jetley
Cohan Carlos
S. Purushothaman Iyer
Published in:
Int. J. Softw. Tools Technol. Transf. (2004)
Keyphrases
</>
computer aided
matching algorithm
formal methods
segmentation algorithm
region of interest
machine learning
computer vision
computer assisted
three dimensional