Computer-Aided Verification of Software Process Model Properties
Alfred BröckersVolker GruhnPublished in: CAiSE (1993)
Keyphrases
- computer aided
- process model
- software process
- control flow
- process mining
- design tools
- image analysis
- business processes
- computer aided diagnosis
- business process
- diagnosis of breast cancer
- computer aided design
- user interface
- event logs
- model checking
- petri net
- process planning
- cad systems
- business process models
- capsule endoscopy
- data mining
- workflow management systems
- software systems
- software development
- computer vision
- pulmonary nodules
- differential diagnosis