Computer Aided Verification of Parallel Processes.

Klaus Estenfeld Hans-Albert Schneider Dirk Taubner Erik Tidén

Published in: VIS (1991)

Keyphrases

computer aided
computer assisted
diagnosis of breast cancer
computer aided diagnosis
computer aided design
image analysis
parallel processing
capsule endoscopy
model checking
process model
design tools
cad systems