CAVEAT: Technique and Tool for Computer Aided VErification And Transformation.

E. Pascal Gribomont Didier Rossetto

Published in: CAV (1995)

Keyphrases

computer aided
computer assisted
computer aided diagnosis
image analysis
design tools
diagnosis of breast cancer
computer aided design
model checking
early diagnosis
cad systems
case study
three dimensional
prostate cancer
pulmonary nodules
fault tree