Keyphrases
- international workshop
- formal methods
- domain driven data mining
- formal analysis
- international conference
- pacific rim
- revised selected papers
- selected papers
- lecture notes in artificial intelligence
- acm sigkdd
- knowledge based systems
- safety critical
- software engineering
- building blocks
- artificial intelligence
- business process
- computer science
- intelligent systems
- expert systems
- data analysis
- reactive systems
- data mining
- business environment
- formal specification
- model checking
- business processes