Keyphrases
- formal methods
- safety critical
- development lifecycle
- knowledge based systems
- software engineering
- international conference
- formal analysis
- knowledge discovery and data mining
- software development
- development process
- model checker
- software systems
- formal specification
- model checking
- international workshop
- software developers
- artificial intelligence
- acm sigkdd
- business process
- support systems
- cyber security and information intelligence
- modeling language
- agent architecture
- service oriented
- fault tolerant
- international symposium
- building blocks
- computational intelligence
- process algebra
- student research workshop
- case study
- database