Cancer treatment planning: formal methods to the rescue.
Janos L. MatheJanos SztipanovitsMia A. LevyEthan K. JacksonWolfram SchultePublished in: SEHC@ICSE (2012)
Keyphrases
- formal methods
- cancer treatment
- decision support
- mri segmentation
- knowledge based systems
- software engineering
- model checking
- formal specification
- artificial intelligence
- breast cancer
- decision support system
- data warehouse
- radiation therapy
- temporal logic
- natural language
- image segmentation
- knowledge acquisition
- expert systems