The Modular Framework of Computer-Aided Verification.

Gil Shurek Orna Grumberg

Published in: CAV (1990)

Keyphrases

computer aided
computer assisted
image analysis
computer aided diagnosis
process planning
object oriented
image segmentation
knowledge acquisition
prostate cancer
pulmonary nodules