Computer-aided dispatch system family architecture and verification: an integrated formal approach.
Jing SunJin Song DongStan JarzabekHai H. WangPublished in: IEE Proc. Softw. (2006)
Keyphrases
- computer aided
- computer assisted
- image analysis
- computer aided diagnosis
- formal methods
- formal model
- model checking
- computer aided design
- formal analysis
- differential diagnosis
- design tools
- capsule endoscopy
- diagnosis of breast cancer
- pulmonary nodules
- prostate cancer
- process planning
- cad systems
- early stage
- automatic detection
- relational databases