Preface of the special issue on the conference on computer-aided verification 2018.
Hana ChocklerGeorg WeissenbacherPublished in: Formal Methods Syst. Des. (2021)
Keyphrases
- computer aided
- special issue
- computer assisted
- selected papers
- ai edam
- computer aided diagnosis
- international journal
- international workshop
- ecml pkdd
- applied intelligence
- image analysis
- international conference
- computer aided design
- special section
- prostate cancer
- process planning
- invited talk
- capsule endoscopy
- diagnosis of breast cancer
- cad systems
- early diagnosis
- design tools
- artificial intelligence